Do you have the VIN? That should tell you the exact model, and doing a CarFax or the equivalent is always a good idea. Years ago, someone on here gave us a link to get free CarFaxes, but I was not able to get that to work. I believe that you can do a basic search through the government for next to nothing.
Mine is newer, but with more miles, and it is indeed an HX. The Blue Book is just over $2,000, but it seemed like every car that I see on Craigslist is well over KBB. As I often mention, I had five mechanics standing under my car telling me that it was in great shape. I probably could have talked him down from $2,700, but he actually came down $150 because the fender is damaged. I think that $2,900 is high, but maybe your market is substantially different than mine.
Isn't haggling part of the car buying experience?