for a big tune up, i would say by just doing a quick search on cars.com start at 9.5k and see what happens. Since he is in no hurry though i guess it wouldnt hurt to post 10k and im sure someone will give him 9.5 or 9 and then just take the cash and call it. Thats my .02 though.