My friends are going to WDW for the 4th of July. I've always avoided holidays in the parks. What can they expect? I'm sure there will be some special events? Special fireworks?

Thanks in advance!