Can anyone tell me what the pool crowds will be like in middle of july? i see they only have one pool and if the hotel is sold out, i'm worried the pool will be to crowded to enjoy and may have to go to portofino bay instead with 3 pools and less rooms. thanks