Thanks for the replies! Yeah, around here even the LCs are bringing that much. I may be able to get it around that $5K range. This dealer is strange. Sometimes the older stuff is overpriced, but most of the time, they "wholesale to the public" higher mileage vehicles. I am going to call tomorrow to see.
Thanks FirstToy for that link. I never checked that site... I checked KBB, which seems a little steep at times. Funny they deduct $27 for it being black in color.