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 easily be replaced with a stronger part. For now I have a 7/16" bolt in there and it seems fine. There's a little play, but it still engages and disengages fine. It has to be at least as good as the plastic, right? I like to over-build stuff, but I know that's not always wise, considering weak links, what should fail first, etc. Any thoughts?