LANCIA RPM Sensor, manual transmission