Has anyone been? Would be keen for tips on good times of year to visit, how good the hotels are, and whether the water park would work if the weather isn’t blazing hot. Are there long queues? What’s the best stuff to do?