If Elon were truly focused on getting to Mars he would put more effort into robotics, agriculture/hydroponics, non-solar power generation and other things that would actually matter for a Martian mission, rather than wasting his money[1] into PR stunts like Boring Co which still haven't done anything that other boring companies have been doing for decades at bigger scale in far more complicated terrains and situations.

It would be better for example if the Model Y wouldn't be manufactured with lots of errors that QA should have caught, but that's also secondary to getting self driving, which is an extremely hard problem.

Tesla's inability to handle basic QA of their primary business activity nearly killed the company and doesn't speak well of their ability to properly QA something infinitely more complex like self-driving, especially when they've chosen to limit the available hardware.

[1] Boring Co is actually primarily financed by Tesla, and uses Tesla and SpaceX supplies and equipment, so Elon's not even investing his own money. He's investing other people's money and running.