Jemanden vom Service kommen lassen, Fehler finden, Ersatzteil bestellen, nochmal kommen, Ersatzteil einbauen. Hatten wir mal, waren dann knapp 350 Euro. Schau mal bei Amazon was die Dinger neu kosten, dann rechne mal nach. Kurz, bei einer 11 Jahre alten Maschine war es das. Kauf eine Neue. Wenn du selber einbauen kannst ist Amazon eine gute Wahl, ansonsten bei den übliche Märkten.