For those who have stayed at Atlantis with little ones do they allow floating devices for infants in their pools? I called and they said yes, but I am not sure they understood I meant a floating device vs arm floaties. Would rather not pack anything extra if it’s not necessary. Thanks