We are going to WDW/Seaworld from Oct.9 thru Oct. 18th. What days do you think will have low crowds for Seaworld? Do you think Columbus day will have high crowds? I see that Friday the 13th the park is open to 9 p.m. so I am assuming they expect large crowds. How are the weekends? Linda