We're definitely not mining the moon for helium, but might well end up "mining" the gas giants.