Hi everyone, I'm not sure how much traffic this will receive, but I can't find any information on Sea World at Christmas time. I've seen from past years they have a Christmas celebration. Is it a separate ticketed event? I assume its family friendly. We'll be traveling with our girls who will be 5.5, 2.5, and 5 months at the time of travel.