anyone been recently and can tell us what pool hours are right now (for feature pools and leisure pools)? I've heard they are reduced but haven't found specifics. FWIW, staying at OKW part of the trip and SS part (but interested for any pool news).