There’s at least a plausible need there, what with the whole “don’t want to slam an asteroid into the planet” problem.
Mining is still an utter fantasy. It’s completely economically unviable to mine anything from an asteroid and bring it down the gravity well, and we have close to zero ability to actually mine and manufacture anything in space. We are a long long long time away from that.
That said; what the bigger issue - for in situ operations, the distance to get the raw materials or just doing anything with the raw materials at all? Is it going to be - we could do anything at all but going all the way past the orbit of Mars is too much trouble - or - Getting to a rock past Mars is easy but it's hard to do anything practical with it (compared to just getting it off Earth presumably)
I got no clue as to which way it could go but it doesn't seem a question that answers itself to me.