We're making our ADRs now for our late July trip and can't find any availability for Garden Grill or Coral Reef for any day on our trip, any time. Are they closed in July? Garden Grill I understand because characters, but Coral Reef too? Just seems odd.