You might want to ask them if they had the converter and cooler and lines flushed out. If they didn't it's their fault it's screwed up, IMO... Unfortunately for you, if that's what happened, John may not warranty it because that's something any shop should know absolutely needs done.