The schedule says Disneyland Park will be open from 8:00 until 23:00 on Thursday May 10. Does anyone have a clue why they have hours this long on this specific day? Historically it should not be a busy day, so I would expect hours from 9:00 until 9:00. Trying to decide whether to do California Adventure on May 9 and Disneyland Park on May 10, or the other way around. Thanks!