I just bought an '87 hatchback with a removeable glass roof. I noticed that there is a residual substance that looks like vaseline around the edge of the roof. Is it a common practice to put some type of sealant between the roof and the gasket? If so, what is the purpose and what is recommended? Thanks!