I'd say a dealer would sell it for between 8,500 - 9 grand (I have seen a 53 with 17,000 miles for 8995, he orginaly wanted 9995 for it but no takers, he dropped it by a grand and still no takers lol)
So if your going for a private sale I would say 7,500 to 8grand, personaly I would advertise at 8,000 ONO and be prepared to do a deal, probably get 7,750 for it (or if your lucky someone may pay full price but don't hold your breath)