Looking over our May trip plans, my husband noticed today that we will be at the World over May the 4th. Obviously we are not huge Star Wars fans, or we probably wouldve noticed sooner, but wondered if it would be worth it to visit DHS that day, maybe for a part-day (because we have a day planned there earlier in our stay), or should we avoid the park? What kind, if any, of special things do they do for this Star wars "holiday"?