anybody here know what the size of pitman nut?