What is the nut size on the front pinion nut? I need to replace a pinion seal, and want to have the right size socket before I begin.