Bottom line is we're always going to be digging something out of the ground. The less hellish we can make those places the better, regardless of which element it is. Or, you know, asteroids.