Have the shop remove the head and install a new gasket with a decent sealer. Mine had a similar problem early on and After spraying the gasket with a sealer I've had no more problems. They have had to do that on some of the TBAs and SMs.My guys replaced the base gasket at the same time. Not a problem in the 25,000 miles since.