Ja, gibt es.
Hier erst noch der Link zur kompletten Serviceanleitung.
Die Ausgangselkos sollte man tauschen oder zumindest prüfen. Dann gibt es je nach HS130-Variante noch andere, die man tauschen könnte/sollte. Da wäre gut zu wissen, welche Version du hast. Mach am besten ein Bild von oben auf die Platinen.
Das mit dem Teile ersetzen ist aber immer ein strittiges Thema. Manche sagen ganz klar alle Elkos tauschen, manche sagen solange das Gerät funktioniert, muss man gar nichts tauschen - tja, jetzt muss du dich entscheiden...
Gruß Martin