This is bigger news for asteroid mining than it is for Mars (why return the ingredients to earth when you can 3D print end products at the source). But kudos to Elon for getting the world talking about Mars again.