> specifically the subset that includes natural resources (specifically precious metals) mineable on mars. How much of that market is bottlenecked by supply?

IIRC, mining on Mars for export to Earth doesn't make much sense vs mining on an asteroid, since you're paying for transport through an extra gravity well.