D-sky - that could be the lubricant some aftermarket radiator mfgrs coat the internals with. I'ld do the "bars leaks" treatment just as insurance and then watch it for awhile. Head gaskets can leak both directions oil to water / water to oil but if you do the "HD bars leak" it might prevent the head gasket from letting go if it was weakened from your earlier experience.