We're going to WDW first week in April. My daughter (age 9) reaaallly wants to eat at Coral Reef because of the aquariums, but I've been reading really mixed reviews.... I'm hearing is mediocre at best and sometimes the service is bad. We have DDP. Any insight on this one?