Yeah, I have been in touch with Jeff and will call him as soon as I get a chance to check the depth of the pond.
Next question; if as I suspect this pond hasn't had any new fish added to it in decades, is there a benefit in stocking some new fish, just to get some new bloodlines in the families?