Anyone know the diameter of the stock exhaust pipe where it meets the header?