[911monty]

First thing I'd do is bleed the cooling system. If your shop is not Porsche then they probably just topped the expansion tank in the trunk. Do a search, there are plenty of threads on the subject.