I hear they have real loose permitting regulations on Mars, and I think Elon was supposed to have a colony up and running about a decade ago, so that should all work out for him.