da würde ich mich nicht drauf verlassen,so sah meiner auch aus und ist mir auf der Autobahn gerissen.Egebniss = kompletter Zylinderkopf musste getauscht werden.Kosten lagen bei 530€ aber auch nur weil es ein bekannter mit Werkstatt für mich gemacht hat.
Ich würde die 300€ investieren und den Riemen wechseln, 7 Jahre sind auch ne gut lange zeit fürn Zahnriemen.