At that mileage I would just replace the compressor, you've gotten your moneys worth out of it and then some. Prices on new (not reman) Denso have come down dramatically. I've seen $290 for the 10PA17. Doesn't seem worth repairing at that price.