5 ms·

That’s why he did options instead of directly shorting the stock. You’re betting against them but with a capped downside effectively.