i was just going through Japanese listings, their FD RX-7 is around that ballpark. this owner can shove his listing up his arse haha.
I've seen most go for 50k-60k for this generation, the newest generation used is sold for 140k.
This car is from 1989 too.