Well that name sure sounds like it make sense. Could that sensor be damaged by someone slipping off the clutch pedal half way up and it slamming into the stopper or whatever it is?