Might be a little high, but not by too much.
It looks like a very nice car.
Where else can you buy a pristine example of a 25 yr old icon for this little money?
I would rather drop $9k on this than drop $9k on a 135k mile NC.
I'd almost feel bad modifying that. That's a super clean example, not to mention close.
Wow. I looked at that exact same car (low mile 1990) back in 1997. Same price.
I got a '95 to start my Miata life instead.