Kann gut sein. Die Zusatzwasserpumpe hält den Kreis in Bewegung damit wenn der Motor nicht läuft.
Falls das wirklich über die Zusatzwasserpumpe geht, kann auch die junction Box betroffen sein. Die steuert die Zusatzwasserpumpe an.
Was genau defekt ist, ist schwer zu sagen! Schon den Fehlerspeicher auslesen lassen?