Has anyone done either (or both!) of these port excursions and if yes which one do you think is better? I've got 3 boys (ages 7, 9 and 11) and this is our first cruise (first tropical island experience too!!!). Very excited but having trouble picking port excursions. We will be there in early February so wondering if blue lagoon will be warmer (more protected). But Atlantis looks super fun. Help!!!