Tim,
I can't help but wonder if we can find the part needed in a junk yard for a fair bit less than dealer prices. Do you have the break down on parts / vs labor? I know you are looking to sell it, but I am a curious guy and I would imagine someone in the club might want this car, and if needed we might be able to help out fixing it.
If you don't have any luck, I am interested in buying / fixing it and driving it for a while.
Jeff