3 ms·

But do people actually use them? That's the theory where I work, too, but most people just use paper cups.