DAEWOO RPM Sensor, manual transmission