Just as a follow-up, now that the rocker cover is back on, I flushed the mower twice with left-over (clean) car engine oil, and that washed out the crumbs of old sealant that had fallen into the engine while I was scraping it off. More came out than I realised had fallen in. Hopefully that's got rid of all the bits.
