4 ms·

While you overall point is correct, it's still likely not going to be a lot. It's highly unlikely that it's 40k per second.