Well,,,the only thing i can say is that it's possible for the headgasket to fail where compression can enter the cooling system, but not necassarilly get coolant into the oil. If the tech is compentant, then that should take care of the problem.
One thing i would be concerned about is the cylinder head, it should be checked for heat cracks if it overheated pretty bad.
Best of luck, and if you have any further questions, just holler!
If this has helped you please click ACCEPT BONUS tips mean alot! Please take time to leave feedback