Ditto on replacing the "spring" style hose clamps at the two high pressure lines just under the radiator on the passenger side. They tend to wear out after some time, and since the shop probably removed them when they flushed all the fluid out of the system, this is likely the spot where you are getting some leakage.