3 ms·

Over 3 days of selling (according to the article), that's only an average of about 8% of daily volume.