20151109 home.science: Mining in space cheaper than setting up a gas plant