Thanks to everyone that helped out. We booked the Dolphin for The week after Thanksgiving. 8000 pets per night.Scottmik2, thanks for asking. I had the same question.
Now a few challenges I'm not used to.
1. What is the best way to get to the hotel with a baby? Does Uber have car seats?
2. Do we bring a playpen, rent a crib or buy something at a Walmart?
3. Without a Garden Grocer where do people get food delivered from?
4. Is it worth getting magic bands?