 I know that they have done some. They have been working on the lawsuit part of it, which was going to cost, I think, 33 cents to add to the taxes. I think they've got that issue resolved where that won't have to be a major concern, that we don't have to raise taxes because of that. So I know they're working on something with that, and also they're working on something with the salaries.