Although thinking about that, it does explain why Elon is suddenly so interested in tunnel boring machines, and why the boring company's machine is designed to be small and easy to build in large numbers.