Just adjusted the valves on my 80 R100s. Gasket on one side had a slight tear on it so I bought a new one and installed. Surfaces are clean. Put new gasket on and now I have a pretty good leak after start up. I don't remember ever using any type do sealant before. Should I? Or ride it around the block and see if it goes away?