Is it Rawarrior who started the thread about the things to look-for in a used bike? Use the search function for him or for similar terms/words
about buying used bikes. I think this is it:
http://www.vmaxforum.net/showthread.php?t=21240&highlight=buying+bike
The price is a bit high, but if someone has already done the stuff mentioned, and done it right, to have a shop do those things would cost a good chunk of $. If it doesn't have 35,000+ miles on it and cosmetics are good, then getting it for $3800-4K is probably not a bad deal, less is better, of course. The thing is, if it doesn't feel right to you, and using knowledge you gained here, wait for another bike.