I rather the money go to bringing tech jobs to NYC and making it a true technology hub then leave it in the hands of the city to spend billions on useless subway lines that are 3x the construction cost of anywhere else in the world:
https://www.nytimes.com/2017/12/28/nyregion/new-york-subway-...