Elon Musk's Mars colony would have a horde of mining robots

If it wasn't already clear that Elon Musk has considered virtually every aspect of what it would take to colonize Mars, it is now. As part of his Reddit AMA session, the SpaceX founder has revealed that his vision of a permanent colony would entail a huge number of "miner/tunneling droids." The robots would build large volumes of underground pressurized space for industrial activity, leaving geodesic domes (made of carbon fiber and glass) for everyday living. As a resident, you might never see the'ugly' side of settling the Red Planet. Musk also explained how his colony would get to the point where it can reliably refuel spacecraft all by itself.