She paid $10k for it 10k miles and 3 yrs ago. Looking at Craigslist I see similar models listed between $7-14k. I agree that it is worth doing the repair. She however, is completely gun shy at this point and will probably repair it and trade it in.

__________________
1977 300d 70k--sold 08
1985 300TD 185k+
1984 307d 126k--sold 8/03
1985 409d 65k--sold 06
1984 300SD 315k--daughter's car
1979 300SD 122k--sold 2/11
1999 Fuso FG Expedition Camper
1993 GMC Sierra 6.5 TD 4x4
1982 Bluebird Wanderlodge CAT 3208--Sold 2/13