At 9k loaded, you should have about 1200 pounds of TW. That is at or above most half ton receiver limits. Few half ton crew cabs have enough payload for 1200 pounds of TW plus a family in the cab (you listed a bunkhouse model) and a bed full for camping cargo. The F-150 Ecoboost Max payload would be close, but they are hard to find. You can order one. On the other hand any 2011+ 3/4 ton gas crew cab pickup will easily handle that weight without exceeding any of the truck's limits. If you can afford a 2011+ diesel, you'll never use the work struggle again.