Can't speak for Disney, haven't been and not going, but local reputation seems not too good.
However. Ocean Park is a must for the whole family, a world class facility that for some mysterious reason is sadly under-rated. A lot cheaper than Disney too.