> Tunnel boring is a complex, multi-faceted civil engineering discipline with a large number of well-funded firms that are aggressively competing and innovating. In this space Elon is utterly insignificant.

20 years ago you could have said much the same thing about Elon Musk and rocketry.