I'm pretty ignorant of geology.. The main reason I added space mining was because a rush for resources, especially commercially exploitable ones, seems to have spurred significant third party interest in risky exploration.

Rather than the government funding everything, the mere possibility of being able to find a 100 ton lump of gold (or whatever) would get multiple space exploration efforts kicked up the butt immediately ;-)