Repair. If he is going to charge that much find a hobbyist to do it for less or learn to do it yourself.

Repair...

Is there battery corrosion? If not, I can't imagine what could possibly make the pins worse than any others. Desolder, insert new, resolder.

I repair when possible, and taught myself how to do it. There's really only a few dollars of parts usually involved.

However, if there is corrosion from a battery leak, whether or not I repair that comes down to a few factors:
-How extensive the damage is.
-How much time it is going to take me to replace all the affected components (sometimes leaks only touch a few components, sometimes many. Chips are the most time consuming to replace).
-How rare the board is, and if I have a spare board on hand that is in better condition.
-If an original working replacement is available from someone, or if aftermarket replacement board is available, and how much it costs.

Pictures of your boards?

Youtube is your friend. There are multiple repair videos, arcadeuk being one of my favourites. There are also many very good videos that teach you how to solder electronics. Invest in a good iron with variable heat and take your time. Once you learn how, you'll be able to fix stuff for others too.

Another vote for repair. Doesn't sound like anything that is too far gone, and like mentioned, parts are cheap. It's the labor if you can do it or not that will get you. If you can learn how to do it, then it's really cheap, like a few bucks (once you have to proper tools).