Thanks so much. My kids would love to see them at the hotel.
I might change my dates to 12/12 to 12/21. Maybe we can catch them the day before we leave. I booked during Thanksgiving, but my family really loves to spend the holiday at home. Then coming home and having Christmas, that might be the best trip.