Yeah, every little idea helps. We refilled the radiator and primed the engine a few good times. We scraped off the old gasket with a razor blade but it's not unlikely that a small piece of the gasket could've fallen into the cylinder head.