true, but I think the space mining talk is mostly about asteroids and the moon