I may be giving musk too much credit, but I don't think it's a coincidence that the Boring company focused on shrinking and optimizing tunneling machines.