Can any of you tell me what to expect in terms of crowds?Is Christmas day as busy as Thanksgiving is?Are the restaurants at City Walk opened for lunch?How about Christmas Eve-is the park open late?Will restaurants be open?If we want to eat at Hard Rock Cafe or Margaritaville Christmas Day at lunch time,will we need reservations?