5 ms·

There's a world of a difference between "at the highest level" and your typical casino poker game. (GPs general point still stands.)