Should gasket sealer be used on one side of this gasket or should it go in with nothing on it? I am using the white gasket that is labeled High Performance. Thanks, Jim