Since it's not plausible that you could bring anything back from Mars that would be worth enough to make colonization practical from the perspective of Earth, Mars colonists would always have to assume that the last rocket that was launched is the last that will arrive. From their point of view, they'd want to be able to manufacture absolutely everything locally as soon as possible.
It's one thing to say "we can make unlimited oxygen from the soil never mind the atmosphere", it's another to find a source of nitrogen or other inert gas that makes it possible to live in an atmosphere that doesn't make everything into a firetrap. It's one thing to spin the kind of science fiction that Gerard K. O'Neill did, but his disciple Eric Drexler realized just how bad the problem of 'advanced manufacturing' is and went off to follow his own El Dorado, writing a fascinating book [1] about a class of systems that 'just don't work' [2]
Not to say that the goal of "a population of 10,000 people being able to make everything that 8,000,000,000 can make" is unattainable, even if we can get it down to an advanced industrial base being supported by 10,000,000 people it would be a game-changer here on Earth. I can see paths there, but it's by no means a bird in the hand.
[1] https://www.amazon.com/Nanosystems-P-K-Eric-Drexler/dp/04715...
[2] https://latecomermag.com/article/what-happened-to-molecular-...
And I agree 10,000 is far too small for self sustaining settlement. A million is the minimum. Even 10 million would be a challenge.