How Should Excess County Revenue Be Handled?