4 ms·

And worse for my idea, looks like Mars probably lost its atmosphere billions, not millions of years ago.