I went by Taylorsville Lake Friday and the water was still up. One of the locals said it was still around 25' above summer levels. Does anyone know if it has started draining now that the Ohio is started falling?