4 ms·

I think we can be certain the SEC will open an investigation. They don't generally work in real time though.