If they are serious about it they could take a few hundred million from the casino profits they make and not do their restoration on the taxpayers dime.