For those that have installed the AR headers, did any of you use copper gasket maker (in addition to the gaskets provided) between the two flanges? Just wondering, it was recommended to me by another owner.