We have a trip scheduled May 16-20. Do you think the hours will be extended to match what they are now? For example, Epcot is currently open until 11:00 PM, but in May it's only 9:00 PM. I don't want to make dining reservations in Disney Springs or a hotel & end up cutting our park time short if they'll be staying open later.