Yes they did the pressure test, they said there was no leak in the coolant system. After getting the car back and driving it a while, I haven't noticed any smell so far. All that has been done so far is replace spark plugs and valve cover gasket. It doesn't make any sense to me...