My nice old 626LX got totaled on Sunday and one of the guys at the body shop is selling an '87 RX-7 turbo. He (supposedly) installed a new engine in it 2000 miles ago, and it has a new clutch, engine wiring harness, and factory aftermarket turbo as well. It has been repainted gloss black and the paint doesn't have any bubbles underneath it. The exhaust has been replaced front-to-back with stainless aftermarket pipe. However, the body has 109939 miles on it, the upholstery has a couple of popped seams (supposedly where the previous owners have rubbed it while climbing out), the AC might be low on coolant or might be broken (can't tell right now), and the horn inexplicably doesn't work. It lists on Kelley Blue Book for retail at $3400. He wants $5000. Does this sound reasonable, considering how much money he's spent to fix it -- and how much money I might have to spend to fix it more?