So I have everything apart what size is the Pinion nut wrench that goes in the Gearcase ? Also socket 311875 only from OMC ? or does someone else carry it ? Thanks