Does anyone know what the outside diameter of the oil pump housing is supposed to be?