Hat der Koi eine Krankheit und muss aus dem Teich raus?

Hallo.

Ich hab vor einigen Tagen diesen Koi gekauft. Dadurch dass wir den Koi selbst aus dem Teich rausfangen mussten und mehrere Koi in dieser Größe (60-80cm) gekauft haben. Blieb nicht lange Zeit zum gucken, da wir diese schnell transportieren mussten. Uns ist nun aufgefallen, dass dieser Koi, wie zu sehen, eine Beule hat. Die Kiemen des Koi sind rot und er wirkt ganz normal lebendig im Teich. Die anderen Koi sind gesund und zeigen keine Auffälligkeiten. Uns wurde vor Ort bestätigt, dass diese Kois schon mehrere Jahre zuvor zusammen in dem Teich lebten und nie auffällig waren. Er sah anscheinend schon länger so aus. Allerdings habe ich doch Angst, dass es sich bei der Schwellung zb um die Koi Krankheit Bauchwassersucht handelt und er damit unsere anderen Koi ansteckt. Soll ich den Koi aus dem Teich nehmen?

Vielen Dank im Voraus für alle Antworten!