I recommend that you get several quotes to repair the A/C. $700 isn't cheap....or is it up to $700?
Essentially $700 is the starting point for any AC repair: compressor, evaporator, condensor, what have you. Along with a compressor, it will need a new dryer, more refrigerent, labour and of course a $100. in TAX.