Man muss einer Werkstatt ja nicht immer gleich unterstellen, sie würde einen betrügen.
Ein Verlust der Oberfadenspannung wird auch nicht vom Stickmodul ausgelöst.
Lass dich doch einfach informieren, wenn sie meinen, den Fehler gefunden zu haben und dir sagen können, was es kostet.