I can agree that Musk's Mars mantra had its place when nobody was paying any attention but "Mars" meant something and "let's move to dead rocks" wouldn't have been appealling. It's nearing time to drop it, though, I suspect.