I have not visited any Japanese koi farms but as far as people who are familiar enough to be on first name terms with the families who run them tell...
Thank you, I'll keep a look out of that. The other fish are healthy though, but I guess I'll try out your treatment. The symptoms also seem to match...