I'm not exactly sure about how to word this and I don't know what the part is called but...Does anyone know what the diameter is of the exhaust pipe that extends directly from the body of the muffler into the exhaust tip on an OEM muffler off an 87' 951? Does that make sense??