Seems a tad steep to me, considering possible underlying issues and the physical state of the car. The older 12v engines tend to have timing chain tensioner problems right around 100k, so I’d be wary. Maybe I just like my 24v too much, but I’m not sure mine could sell for that much and it’s in better shape, at least…