Wow. It seems I am not the only one having the same problem.
How much was the total cost of fixing this?
How much for the Compressor?
Labor? Etc.
Just trying to fish some info to avoid getting rip off.

 

I picked up a used compressor off EvoM for about $100. Replacing the compressor depends, but generally about 1.5-2 hours of labor (~$200 give or take), plus a little more to recharge the system.

Of course, if you can do it yourself, then you can save yourself the labor costs.