Comment by ortusdux

I still think this was part of Elon's motivation for investing in his Boring Company. Those machines could be used to create subsurface chambers for both habitation and transportation, while generating plenty of crushed rock for surface construction.