re: #434 darthstar

There are five of them, apparently.

[Embedded content]

And where we really should have a long-term station with a spin for fake gravity. Send fresh crews/food/etc twice a year. Mars is for media stunts.