agree as well. Also for what it's worth, i paid 4500 for my 09 700 with less than 700 miles on it with many mods already on it including exit's all the way around.
There are deals out there and paying that high of a price for the 755 is not worth it. There is a reason you can find that and the 900 cheap.
Ya he is a high on what he wants to get out of it. Just bought an 08 D7 for 4000 with 1700 miles and i thought that was a pretty decent deal so yeah he would be better off to come down. good luck!