It was *supposed* to be the Lottery. I don't know what happened with that, because I don't play it.
The Texas lottery has been losing popularity for the last eight years.
Lotteries and gambling and surpluses are variable and cannot be a source of stable funding for anything.