The steering box in my 55 Commander is leaking at the pitman arm shaft.The manual says use a sharp punch or awl to remove,can I assume the gearbox does not need to be disassembed to replace the seal.Is GO 90 a good lubricant fot the box or does it use a grease oil mixture,