I'll do it for half the price.  :cheers:
Some dealers are nutz.
Even at the full retail prices... the parts are $60'ish dollars.  And a good mechanic can have it changed in 2 hours.  (or less)
Get the service manual, and do it yourself.  If you know what end of the screwdriver to use... it's not a hard job.