3 ms·

That’s right; listened to it myself. (The first part of their podcast is always a dissection of a poker hand.)