it could be rusted up and sizing. they dont last for ever. if it lasted past 100,000 miles it was on borrowed time anyway.
this job is way to easy to do. it takes no more than a hour first time out. i mean easy. tons of vids on you tube with how to directions the whole way through. this could be done after work for real.
the way i see it, you drop it off its gone for a day or 2, do it yourself and you up and running in less than 2 hours and 45 bucks later you can say look what i did lol
i think my new pump cost like 45 bucks, it came with a new gasket. wait till you see what the shop charges for the 45 dollar part. the part turns to 80, and then the labor. i bet another 175 easy if not more. so call it almost 300 at a shop maybe.
now you know why a lot of us do our own work, or as much as possible on our own. who wants to pay all that extra money when you can spend your time and get it done for the cost of parts, that t 55 bit will cost you like 5 bucks tops too. and the rest can be done with a 25 piece socket set. find them for sale all the time 30 bucks or less. and you get to keep em.