As mentioned, I would follow the proper procedure to make sure the air is out of the system. We have bleeder screws to help with this so if the mechanic just opened the rad cap, that likely wouldn't fix the issue.
This is a good read.
http://shbox.com/1/4th_gen_tech2.html#cooling