Hi All! I will be traveling to RPR in July wiht my DH, DS (12) and his BF. Do you think that the boys will like the pool. We plan on having afternoon pool breaks. Any info about the pool would be appreciated. I hope that I have made a good decision. Thanks!