4 ms·

Thanks, $20k seemed exceedingly low on a notional basis but I'm obviously not familiar with that market.