Does anyone know what the water level is like at John Hays Lake?