We talked to Roger the park manager and yes, they're draining the entire lake.