if the oil isn't full of coolant, you should be fine. I have done several over the years where there was no intermix and it seems that they survived quite well.

I would be more concerned about how hot it got and if the deck surface has been compromised Login to read more.