Doing some general maintenance and got to the DISA valve and it was a bitch and a half to get off. Finally got it off and there seems to be some improvised gasket gunk all around the seal? I don?t know what I?m looking at. Wasn?t giving me any problems on that front so should I just throw it back on and run it?