You have a $6,000 vehicle on your hands at best. Kellybluebook, NADA, Edmund's, true-market value are all just a "guide". KBB says that new vehicles are worth MSRP however you don't see a single dealership in the United States of America selling vehicles at MSRP.
That's what I'm saying, Ford resale value not so hot. He would get some comp for diminished value post-repairs, but still what he would get is 6-7k. OTOH, my 10-yr old Pathfinder in very good condition is worth > $6k, with 75k on it. I will be surprised if the insurer agrees to pay the repairs instead of just paying him out. I would be surprised if the OP got $9k for his truck, but stranger things have happened.