How long before the state gets involved? OK stands to lose a pile, too - millions I would guess. How much property tax do they collect on 1,200 vacation homes?
The lake has 1250 miles of shoreline. The hit on the state and local schools could be probably 100s of millions per year. It won’t fly in court.