Our neighborhood guy. About $300.
OK, that is encouraging. I did recently find the drive belts on ebay for about that price. Overhaul kit about $350.
I might actually attempt a repair. I have a neighbor that is a very capable mechanic too.
Issue is how bad the damage. New drive belt? no big deal. Torque converter, pump, etc. can become more expensive than car is worth, although mine is still in excellent shape otherwise.
But thanks.