Boring.

Well of course Mr. Musk has to drill tunnels. That’s the best way of keeping a million Mars colonists marinating in the oxygen they need–build tunnel, seal tunnel, add atmosphere.