Has anyone replace the plastic pin -securing the clutch pedal to the master cylinder push rod- with anything other than the factory part. Mine broke yesterday, fortunately just as I'd parked my truck for the night. This is only the 2nd time in 280000 miles, but it seems to me that this could...