This will take an eternity and hurt taxpayers badly.

The @boringcompany can solve this problem for ~1% of this cost.

— Elon Musk (@elonmusk) October 28, 2023