Wouldn’t it be as simple as putting the gaming tax up by 1% and resolve this. The taxes are to pay for these items, why ask the casinos to pay twice?