They had $31k less in their discretionary budget, and taxpayers paid the same.