Last time the Holiday dry docked the pools leaked on the first cruise back. Hopefully they learned from that experience.

sls