4 ms·

I would, too. But I would be surprised if it ever gets as low as 5k again, unless the crypto gets obsolete.