Well it ain't gonna be easy because its buried up in the dash. Get a repair manual is all I can say. That price sounds like its probably about right. Parts wont be cheap, labor will be intensive, and they'd have to evacuate and recharge the AC system as well.