@Alon @mekkaokereke I could never figure out how the Boring company was supposed to be useful. If you can make tunnels more efficiently, great, sell that to people who want tunnels, but the whole objective seemed to be to make single-lane car tunnels. They had this nutty proposal for car elevators to get in and out, but I can't see how the throughput would be more than a car a minute. So all that infrastructure to transport at best 60 cars an hour, which probably means 100 people an hour. Never mind the car-centric ass-holery of it--I just don't see how that's a business.
I think their whole claim to being able to build tunnels cheaper than anyone else was just based on making smaller tunnels, and not counting ventilation shafts, emergency exits, etc, as part of the cost.