Elon Musk says we're going to Mars, and we're bringing tunneling droids