On my ac/heat box on the firewall, I noticed it had some kind of sealant that never dried hard on the top lid. What is this goopy stuff and where do I get it? Also, I bought a new heat/ac box seal for the firewall from OPG. Do I need to use a sealer on it with the new gasket or install dry?