Thank you very much for your reply.
I wouldn't keep them in my old tank if I retrieved them. I would have to find someone with a large tank who wanted them.
I was worried about them competing for food in the pond as there are about 12 large Koi (18" - 24"), maybe 6 small koi and some comet...