Yeah, I've Googled around and even asked ChatGPT. There seems to be no record of a for-profit side business. At least before Elon left. Of course they created one about a year after he left, because they're were running out of money, and would need to shut-down otherwise.

I can understand not wanting Elon to be the head of your company. His behavior is a little erratic.