Thank you to everyone who provided a reply.
The 2.5-16V naver made it into the US, and was only released in Europe from 1989 to 1992. It was an upgrade from the 2.3-16V that was released in the US.
I ended up buying the car.
I hope to tell you about the perfromance soon.