We were able to get reservations at both for our upcoming trip. Both sound great. We are a party of 3 families with 7 kids ages 4-10. I was leaning toward Coral Reef as I've heard so many great things, but Garden Grill sounds like a good choice as well. Any advice? TIA!