 It's not like a health issue or something where they're trying to get the water fresher? Well, I don't think anybody swims in it or anything, but they do want to clean it. But sometimes dogs and algae and whatever. Water quality. I mean, like I said, the Observer says that it's to remove sediment, trash, and debris. And again, I said, I wonder how long it's been since they did this, if they ever have, because that'll sort of tell you how much stuff could be down there. That's what I'm saying, like a 1940s wagon.