If you are smelling this from the vents then it could be a heater core. I attached the info about the heater core. Also, you could be correct that they didn't clean the engine off if they spilled some but this would normally burn off in a couple days. If you are still smelling this then I suspect the heater core. However, if you smell it from outside the vehicle then you could very well have a faulty cooler.
I would suggest just letting us know what they find and we can let you know if this is related to what they did.
Images (Click to make bigger)
Monday, February 10th, 2020 AT 6:15 PM