They just replaced the clutch switch and the little tab on the pedal, that was one of the first things I checked. It's in the service records too, as well as new driver and passenger cv axles!