Sea World on Christmas Day

[hrh_disney_queen]

I apologize if this has already been addressed, I couldn't find a thread about it. I KNOW I don't want to be at WDW on Christmas day, which will be our last full day in Orlando. I was hoping that Sea World had more managable crowds on Christmas, after all, everyone who is in Orlando will be in the MK that day, right?? OK, I'm not gonna kid myself, just wondered what your experience was with crowds around this very busy time of the year. Is it doable in one day? Do they have a "Fast Pass" kind of thing for the rides, or should we just forget about them? Thanks so much for the help, now if the NRA would just come out with a few more discount tickets...