3 ms·

I guess it's time to move to a 5-digit PIN in order to prevent this sort of leak from being feasible in the future.