@farmandeep @boringcompany I saw an article claim the tunnel cost 10 million but I’m not sure what costs they included in that number