Need to change the pinion seal on my 742 case. Been trying to find a replacement seal and the parts store keeps telling me there are several different sizes. WTF? Are there different ID and OD dimensions for a 742? And what is the torque setting for tightening the pinion nut?