>>> So when do we know if we’re up to our armpits in Martians? <<<
Good one. Cue Randy Newman’s “Short People”.
I don’t know for sure what the exact population is, but Trump said we’re going to Mars, and the Martians are going to pay for it! Woot! Woot!
LOL!
And it looks as though we won’t need the Slim Whitman!