If the headgasket did pop. Theres a possbility of the coolant/oil mixing. Make sure to get a good flush once everything is said and done. Usually I prefer to go to a shop where they use one of those flushing machines rather than flushing it all out my self, even tho it can be more expensive. But atleast it gets everything out ..