That seems really high for the AC compressor!
I hope you get a reasonable quote from this other mechanic... dealers will rob you! Only go to the dealer for warranty work if you can (I assume yours is out of warranty now) - but find a reputable repair shop and you'll not only save some $$ but get better work done as well. Make sure they'll guarantee their work/parts too!
Good luck!
