I had a break in my head gasket a few weeks back. My engine got a good spray of oil so I took it into a mechanic. That problem is solved but now once the engine warms up a knocking/buzzing sound comes from the distributor and the engine starts missing. A new distributor is pretty pricey and I don’t really want to mess with the retardation of the distributor. What are my options/problem? Thanks for any help.