Looks 5k is just a number I pulled out of my ass. The Boring tunnels are generally deep enough that these things aren’t a concern but if it’s $x plus named protection on an insurance policy, that’s still a lot cheaper than surface rights of way.