2004 Saturn Ion blowing hot/leaking from compressor

My girlfriends saturn started blowing hot air so we took it to a repair shop to diagnose the problem. They said nothing was wrong visually so they were going to do a recharge. Well they called back and said that refrigerant was leaking from the compressor and not the lines so they would call with a the repair cost. Today they called and quoted us 1252 dollars for the repair. I think I could probably find a used saturn ion with working ac for that price.I think the estimate is very high and wanted another opinion. Figured I asked here and see how much it should cost to repair a saturn ac system.