What's really encouraging is that Google is investing $1B in them. Musk has the tech, the team, and the track record, and now the backing. It's entirely possible he can get a Mars colony bootstrapped, if that's really the plan here.
$1B seems short for a mars colony anyway.