 I believe I'm right on that. They may have used city water or county water, too, out there. But more than likely, they'll use Sugar Creek and the water at Park Road Park as well. Well, I guess it makes sense if you're thinking about it happening very slowly. And we're sort of thinking about it of what happens when you get a big rainstorm that comes up and floods everything. So I guess that begs the biggest question. How long does it take to drain the pond?