$10B because it was neglected for a century. But that's peanuts compared to CEO compensation. So tax the rich and get it done.
Also, I would expect at least a few cost overruns.
The extreme mental gymnastics some people will go to to rationalize the current state of the world absolutely blows my mind.
That's still about 5 years of the total raised revenue alone to meet the minimum for just this one connector.