Yes 3k sounds good but if you wanted to talk him down then bring up the common problems on these cars, repairs you will have to do and check for yourself to verify if:
- low speed works on climate controller (if not its not a big deal and it is $33 for a new blower resistor)
- head gasket job (1k to 2k for that to be repaired) or you can fix it your-self for a few hundred in parts and its not to bad of a job once you get it started especially for a non turbo with plenty of room to work with.
- rear rust in the quarter panels.
- check power antenna
- check if a/c functions
- check all power functions such as seats, mirrors, radio, windows, locks
- check all 4 key cylinders and locks to make sure keys are matching
- check for cracked door handles
That is all I can think of right now. Let us know how it goes.