Well, I would simply try the engine out and see how it runs. If it runs OK, don't worry about it. But worst case is you might need a new cylinder/head. They aren't all that expensive, so it isn't a big deal to get a new one.