Help with identifying clutch pedals

Heres the skinny on the fatty. What the heavy duty ones had was a different diameter clutch pedal cross pin, different bearing bore and used greased needle bearings. The non performance cars used plastic hat bushings. the bushings that Chris made are bronse to replace the plastic bushings on the more common non performance clutch pedal sets to make them heavy duty. Other than the needle bearing setups in the heavy duty pedal sets, the rest of them were all pretty much the same.