Has anyone replaced the Hall Sensor in a 1.4 ABD distributor? How does the metal 'flag rotor' come off the shaft?