Near-Earth asteroid mining? Is there anything close and worth mining? AFAIK most asteroids, including those containing valuable heavy metals like platinum, are in the asteroid belt between Mars and Jupiter orbits. Which is significantly farther than Mars.

I more easily believe in mining rocks on Moon as cool souvenirs. (And as a first step in developing the technology.)