[Coda]

Mars has enough gravity to eventually hold an oxygenous atmosphere, though. And it would also provide more geothermal heat, and it'd be more resilient against asteroids. So while a space station would be cheaper -- even a giant space station -- Mars would be the superior option in the long run.