Just FYI... leather seats are not JDM. They were a dealer option on US cars. They are pretty rare, though.

And as someone mentioned... cars go for whatever someone is willing to pay for them. My friend Blair sold his del Sol a few months ago for $14,500.

By the way... have your friend get the facts straight on this car.

It was originally an auto S model with a D15, not a D16.
The FPR is a B&M, not an AEM, unless your friend changed it.
The rear drum brakes were converted to disc.