If they suspect that he's under age 16, they will ask to see his passport. Since there are so few people his age that stay at this hotel, I have a suspicion that the hotel may indeed check ID.
There are so many family friendly resorts in the area, it may be a better idea to consider one of theose properties. What about the Gran Porto Real next door?
