I just saw this on SlashDot. And then I did some searches.
Ok. The asteroid belt is pretty small, compared with, say, the Moon. But do we get how mind bogglingly big these things are?
The reason that I did a search for Titan is that I remember a movie Outland, from way back in 1981, with Sean Connery, that included the premise that humans were mining on Titan. Not sure it was ever clear what they were mining out there.