is that many of the restaurants have hours that shift with expected number of visitors. Chef Mickey's is open for lunch during very busy times but not normally. Park restaurants usually change operating hours with park hours so many restaurants just note until park closing.