Just checking crowds between Christmas and New Years. Tenatively planning a 3 day cruise next Christmas and thought about spending a day at Sea World when we got back. If it's terribly crowded we might just head home. Any pics from this week would be great. Thanks.