Correct, though Mercury might be a better candidate for space quarry than the asteroid belt in the long term.

Orbital habitats are so much more space-efficient, it’s not even a competition.