Hey I'm looking for the socket size for the pinion nut on the 9.25 axle, hoping to pick it up on the way home from work thanks.