No, thats not a good deal. Thats highway robbery. NEVER pay asking price for a used car.
Wholesale value on that car is about $1,000.00 to $1,500.00
If you buy it, I wouldn't pay more than $2500.00 for it, and it better be extremely clean and serviced (new tires, oil change, new brakes etc) for $2500.00
Make sure to get all service receipts for any work they have done to the car to get it ready for sale (tires, oil change, brakes, paint work etc,,,)
If they have not done anything but clean it, I would offer about $2000.00. If they don't accept, look for something with lower miles, even a newer year model.
You can get a lot more car than that with less miles for $5000.00.