3 ms·

Again to Musk's reputation: he's not exactly layoff-averse. Even if it isn't strictly required I can't imagine he'd hesitate to pull the trigger.