The manual from procharger for my 09 6.1 challenger states to use the champion plugs which are one level cooler. Aren'tthese plugs oemrreplacmemt for the 5.7? If so they would be hotter than the stock 6.1 plugs? The install is happening tommorow and I left 16 of the champion plugs with the shop. Could someone please claify. Thanks.