Super, dass du den Fehler gefunden hast
Vielleicht den neuen Verteilerläufer direkt bei BMW kaufen? Ist nicht so viel teuerer als im Aftermarket, dann hast du hoffentlich Ruhe ...
https://www.leebmann24.com/de/de/product/bmw-verteilerlaeufer-10090969
So sah meiner nach dem Kauf aus Hat aber noch funktioniert. War noch der Originale von 1988! Hab ihn dann gegen einen Neuen vom BMW ausgetauscht - damals hat er noch ~30€ gekostet. Hersteller ist Bremi (https://www.ws-autoteile.com/de/i41638/bremi-zuendverteiler-7004)