Pushrod Length

Whats a gvr4s clutch slave PUSHROD OE length? Mine has been tampered with and I need to make sure it still has the correct specs.

 

if I remember it is:
84.7 millimeters = 3.33464567 inches long

 

Thanks man!