I am staying at the Portofino next month and have a five yr old who loves waterslides but is not a strong swimmer. Does the hotel have life jackets for the kids? Will they be allowed to use the slide wearing a life jacket? We usually stay at WDW port orleans, and they have jackets for the kids and let the kids wear them down, but some pools won't let kids in jackets go down. If anyone is familiar with this, please advise, my son spend 90% of his vacation in the pool! thanks!