The silver lining is that if Elon had continued pushing for Mars, to not let it happen organically, Mars would become a company town, with all the bad connotations that ever had, with paying for air added on top of it.