Have not been to the World since 2013 and we find ourselves travelling to Orlando in December and would like to spend a day at Epcot. My question is, since I know the park hours are shortened at least through October (no idea what december will bring) I was wondering of the 7PM closing included dining? Basically do the restaurants close also at 7PM or if we made a dining ressie for like 6:30 could we leisurely finish a meal without being pushed out the door?