Die Pickup-Coil hatte ich vor 3 Jahren bei der Revision auch getauscht. Laut Youtube-Video kann man die aber über den Stecker messen ohne Ausbau. Wenn ich mich recht erinnere habe ich noch irgendwo ein gebrauchtes Zündmodul herumliegen. Ich bin leider noch nicht dazu gekommen, den HEI genauer zu untersuchen.
Das kurze Stück kann man eigentlich auch fahren ...