Moin,
stinken tut das idr eigentlich nur, wenn dort etwas ausgast oder sich ein Biofilm vermehrt oder gerade am absterben ist^^.
Ich würde ggf. mal Isopropanol nehmen, aber bei soetwas erst den Hersteller anrufen, weil dadruch ggf. Dichtungen etc. kaputt gehen könnten. Vielleicht hat der Hersteller selber ja auch eine Idee?