We are cruising in November and was wondering if anyone has done the Dolphin Royal Swim in Cozumel. Friends cruising with us have a 7 year old. We are wondering if they are very strict with ages. Information says they must be 8 years old to do the Royal Swim. Our friends 7 year old is actually a bigger kid than my 8 year old... Any info is appreciated.