BMW RPM Sensor, manual transmission