Möglich das ich mich täusche, aber die Verletzung oder Wunde auf Bild 1 sieht mir verdächtig nach einer mechanischen Verletzung aus.
Das der Koi etwas schlank ist mag an seinem alter oder geschlecht liegen, auch das er rötlich ist sehe ich nicht als Zeichen von Problemen im Teich. Wenn man einen weißen Koi aus dem Teich holt und ihn auf ein Handtuch zum behandeln und fotographieren legt hat er Streß und reagiert mit roten Flossen und roter Haut, ganz besonders wenn es sich um einen Doitsu handelt.
In der Vergrößerung kann ich keinen Hinweis auf Entzündungen "unter" dem Koi finden, also auf der Bauchseite.
Mir scheint der Halter hat hier schon richtig und gut reagiert, die Wunde gereinigt und behandelt (das scheint auf Bild 2 zu sein), allerdings würde mich interessieren wie es weiter gegangen ist, also ob der Paddler wieder im Teich schwimmt und wie es ihm geht, auch wäre es interessant zu sehen (wenn er im Teich geblieben ist) ob die Wunde sich bessert oder verschlechtert.
Insgesamt würde ich mir, wenn jemand ein Problem "vorstellt", mehr Dokumentation über den Verlauf wünschen, sonst ergehen wir uns hier seitenweise in Vermutungen.