They won't have to wait for that Martian end necessarily. Unless SpaceX is wrong about Starlink's global business potential, it's going to become one of the world's most valuable telecommunications services and SpaceX has repeatedly hinted that they're open to spinning it off.