Yep! We've since moved, but they have the lake drained right now to try to figure out how to make it stop leaking.
I feel sorry for the "lakefront" houses that have a big empty pit in their back yard. They've tried several times to fix this, and I'm pretty certain that there was a special assessment associated with each attempt.