Thanks, Rubrick, for the information about the ten years (at least) required to get to and from Mars. Most excellent point.

Too bad there aren't wormholes in the solar system. That's a fascinating consideration.