Also ganz ehrlich.....wenn ich die Nummer bei Google eingebe kommen die diversesten Anbieter für diese Zündkerze. Preise liegen ganz grob zwischen 20 und 25€.
An deiner Stelle würde ich die Werkstatt damit konfrontieren und um eine Erklärung nachfragen wie der Preis zustande kommt und ob man den Kunden nicht vorher darüber informieren kann.