Elon Musk might already run 7 companies, but he seems to want to start another one. And its name could be a dig at a fellow ...