Looking at heading down Nov 30th to December 5th for a quick break. We'll be back again in the spring. How is the vibe/crowd this first week of December? Our dates are inflexible, so it would either be this week, or wait until our next trip. Gracias!