I am getting ready to install a new DC sports header on my 1994 GSR and wanted to know everyone's thoughts on whether to reuse the existing gasket, replace with a new OEM, or is there an aftermarket gasket that anyone would recommend?