Wenn der Motor unauffällig läuft, würde ich den Rat der Werkstatt befolgen.