Hello again..... Needing further advice, due to my own stupidity. When replacing the head cover gasket, do i need gasket sealer or not?