Well, that's the thing, though: the time frame. What's the goal here? Bubble habitats containing evaporating gases from ice-rich pockets on Mars, colonists eating mostly algae while hidden underground as a century-long project to make martian YBCO for an L1 electromagnet comes along? Sounds horrible and unrealistic even by bad sci-fi standards, but I'd guess doable on paper. Blue/Green Mars? Nah, that's likely some future heptillionaire's flex project. Less useful than the Aqueduct, more useful than funding statues in temples to Jupiter of the 8th millennium. But by that point, they'll rename Mars for McDonald's, the ancient Terran god of plenty and diabetes. Dunno what Musk did this time, but I'm guessing he promises self-sufficient Mars colony in the next 20 years or something equally stupid?
I can't remember if it's Season 3 or Season 4 of For All Mankind but the central drama is that some super-bitchin' asteroid full of McGuffinite breaks loose of the asteroid belt thanks to Jupiter and there's a mad dash to sling it into Earth's orbit except that will make the Mars base wholly and completely redundant so the Mars Teamsters (effectively) hatch a heist to sling it into Mars orbit instead. It's a delightfully tongue-in-cheek treatment of the fact that well ackshully, Mars' value is the novelty, not the real estate. I quit social media cold turkey July 3rd. I pop in here sometimes and I cruise Facebook Marketplace for the pure insanity I have trained it to provide me. I am blissfully unaware of Musk's hijinks and that doesn't upset me.