[...trimmed text...]

I doubt that anything your shop did caused the pump failure. But, was the belt tension adjusted with aa belt tension gauge? I realize that in the real world very few of us use a tension gauge regular... Login to read more.