Dont sweat it Zimmy, I have seen plenty a motor run with a blown head gasket and be fine. That little bit wont hurt a thing. No-one one is wrong with the cleaning /
oil advice, but even if you just wiped it with a rag and put it back together, it wouldnt do a thing. It takes quite a bit to hurt anything, sleep well!