Disney/Ocean Park: how busy late December?

[PDLM]

There's a possibility of a youngster visiting me between around 26-30 December. Obviously he would want to go to Disneyland and Ocean Park. Any thoughts on whether that is a good or bad idea particularly with regard to whether the parks will be absolutely packed with visitors and queues miles long in that period? TIA

[KnowItAll]

Have not been to Ocean Park around that time ... but I'd bet it should be ok or better than most other days as a fair number of people go overseas on holidays.

Still -- expect your normal crowds (15-20 min waits).

Ocean Park is not that bad if you get there first thing in the morning.