5k on average isn't too bad
then add taxes and transport
also add for the ... lockers, ISO bed, pto/hydraulics, hard top, canvas, +/-1400 tires, fording kit and a few other things
Also the fluids/filters all changed, trans flushed and Dex 3 added.
I think 9k is fair