Comment by AntiRush

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