I know this isnt "garage" related, but just wanted to get some cost opinions. Our 15 y/o central AC quit...compressor shorted to ground. It's an R-22 system, 5 ton, in a two story house. I have a "guy" who's always treated me well on repairs, and he's quoted me a new system for $7800.00 which...