A lot of park hours have changed for November. In cases where Magic Kingdom is opening earlier than previously reported, will additional ADRs become available for booking? I'm thinking specifically of November 11, which originally had EMH at 8, now at 7:00AM.