Recently I have seen people post in a few different places that Portofino Bay has an adult only pool. I am assuming they are referring to the Villa Pool. I don't see anything anywhere from any official source that this is an adult only pool. I have two well traveled, exceptionally behaved teens, but we are "rules people" and don't want to be anywhere we should not be. Is there an adults only pool at Portofino Bay?