A fresh, stock unit not more than 100k. And before making a final decision, best to bring a trusted technician to check the car. "PORMA" could be very deceiving.....
#3 is my choice, I'm also thinking of getting an AE92 as a toy car to tinker with, if I have a choice, I'd most likely get a '92 1.6 GL since the last of the 1.6 GL's are already all powered then I would like to convert it into JDM specs with period correct "15 MSW mesh wheels or "15 Ronals.