they make tunnels and outfit them for various modes of transportation. it's not a joke. i can't imagine any better way to make it clear that something isn't a joke than to put $100 million into it.
That's just shy of the cost of building (drilling?) the longest road tunnel in the world, in Norway, which has really high labour costs. So I'd guess it goes a long way (pun intended).
You said words, but there's no substance, how does SpaceX and Tesla in any way prove that "Elon Musk gets more done per dollar than anyone else alive" exactly?
Is it Musk's approach of making a traditional company and flipping it on its head?