Sounds good.
I checked the Kelly on that model and 8K was at the absolute top pricing for the truck. Considering the mileage, the bed liner and additional work he's doing, coupled with the documentation of prior work, I think you did fine.
Do get the alignment checked as most trucks, especially 4WD, have been off road at one time or another. Ball joint wear, inner and outer tie rods and the like can be an issue but all are reasonable for a truck of that vintage.
Good luck..