Personally, I think the price is a little high, even for one in good shape. I'd take the $4500 as an "asking price" and try to actually get the car for around 3,700-3,900. The demand for these cars has plummeted in recent years and there are deals to be made.
I'm glad to hear you have someone who can check these cars out in person for you.
'95 9c1, pcmperformance.com 93 tune, Dynomax Ultraflo catback, K & N box filter, LT4 KM, 160 stat, 3.08 Posi.