Ich sehe da was, was Karpfenpocken ziemlich ähnlich sieht. Wird wahrscheinlich auch in diese Richtung gehen.
Und wenn es nur dieser Koi ist und der ansonsten keine weiteren Auffälligkeiten hat und sich ganz normal verhält, würde ich da außer die Sache zu beobachten garnichts machen.