I’ve found two stated original lengths for the RB fuel pump push rod - 3.25” an 3.22. Mine measures 3.218” which if original length is 3.22” is negligible, or if original length is 3.25”, then it has about 1/32” wear which also seems fairly minimal wear. Sound good?