Manual says remove old oil seal with a punch or awl.Can I assume I do not have to disassemble the box,I am referring to the the shaft seal that the pitman arm is attached to,.