My daughter has made one restaurant request for this trip: Chef Mickey's. It's pretty booked up for the week we'll be there so I went ahead and made a reservation for our first night. Our plane is supposed to land at 4 pm. Do you think there's enough time to get to the resort, checked in and over to Chef Mickey's by 7:55 pm? We'll be staying at either Old Key West or Shades of Green (still trying to make that decision). Thanks!