Unfortunately the Koi all died because I forgot to take Grahams advice...
I put in 3X 1" new Koi that were obviously infected with parasites.
R.I.P.