It also occurred to me that rapid, efficient tunneling would be very nice to have on Mars, or anywhere in the solar system really. Underground is the only place you can get protections from hard radiation, when your planet/moon doesn't have the beneft of a magnetosphere and atmosphere. Tunneling habitats seems a good way to go.