I wonder if anyone has any info about the replacement Pulse Sender/Crank Sensor and in particular to the plug socket, connector and the gasket?
There is a workshop manual "993 KD-NR. 97 50 41" for the install probably related to the modification to the plug. Does anyone have this workshop info handy or shed some light on what is required before I get in there?
Here a picture of the parts:
