We empty the pond as we don't use the shop vac to clean the pond,
(it is my DH's choice and we have two teenage boys to help out)
We always go the easy route ;-)
I agree with all of Hal's other answers.

kathy