All done.  The calamities have been reversed, both ponds drained and the lining of the big one replaced with roof-liner which required that the koi be sardined in with the goldfish in the little pond.  The filter systems have been changed and all the unsightly out-of-pond boxes and hoses and whatever are gone, replaced by skimmers and *bio-falls.*  Click on the pics for enlargements.