Lake Red Rock was formed by flooding that entire basin, including six towns. I read somewhere that they didn’t even clear out the buildings and roads. There’s probably still stuff down there in the bottom of the lake.