Mining asteroids

Sounds a bit cranky ("visionary" always reads like a polite synonym for "crank"), but Greg Nemitz wants to create a mining colony on 433 Eros, an asteroid, in order to get at a potential US$325 quadrillion worth of platinum.