TxDot got close to 2.5 billion of that. Port of Houston got 99 million and Port of Galveston got 25 million.
But did they spend it? These are all projects that are still in the planning stages, just in time for the election.