have a friend with a place at Rough who told me they are dropping the lake down next summer for some kind of repairs. anyone heard about this?