My DC is here and ready to install. The gasket diameter is smaller than the tubing. I know this was discussed but I searched and didn't find the answer. Should I use gasket as is, trim it, or toss it and use a gasket sealant? I think I also read that they were going to start uncluding matched diameter gaskets. Maybe I should wait till monday and have them send me one. Any help?