Ich würde auf JEDEN Fall das Zahnriemenrad erneuern, kostet ca 30 €.
Ich hab schon 2 kaputte zufällig bemerkt.