None of that matters unless you can restart the Martian core. Any attempt at terraforming will be stripped away immediately by the solar wind because Mars has no magnetic field. Radiation will murder a Mars colony if they don't address it properly in the habitat design.
This is probably the last "big" hurdle to space travel and intra-solar colonization. It may be possible to generate an artificial magnetic field around Mars, or at least in the direction of the solar wind. But we've never attempted an engineering project on that scale before, let alone on another planet.
Elon is
but this idea is stupid.