Yes, you're correct - bad copy from my notes. 3,111 tok/s is the correct number.