It really is down! I wonder what's been found over the years since the water went down.
I camped there when I was an 18 year old brat in1990,a bunch of college brats from California showed up with every toy imaginable. They got drunk every night and sunk a bunch of machinery in the lake. They lost a few quads, and a few motorcycles over the course of a weekend, mostly trying to see how far they could hydroplane stuff out over the water after a dozen or so beers. They had a collision and sunk one of the boats they had, no effort at all to retrieve any of it. At the end of the weekend they just drove off, left a bunch of tents, camping equipment, coolers with beer,liquor and food etc. We thought they would come back with all the stuff they left, but they never did, the park rangers came down and told us we could keep anything we wanted if we cleaned up their site, which we did.