[adrianN]

But it takes a billion years or so for the atmosphere to erode away. That's plenty of time to get some ROI out of terraforming Mars.