Was the lake at full summer pool then? I called the park office yesterday and they said the lake is at full summer pool.