Musk tweeted that the tunneling technology is easier to develop than getting permits.