We'd had planned to go to Universal on Friday 11th November but then we found out that this is Veterans Day (public holiday) in the US. Are the crowd levels high in the parks on this day and would we be better off planning it on another day? We had also planned to go to Islands of Adventure on the Monday, 14th and also wondered if this would be a quieter day with most people back at work then? If we do decide to re-plan these parks, we would probably head to beaches down Tampa way which we're hoping will be a better option. Many thanks for your help.