My 2015 has 4.88 gears, 35" tires, and has a total weight in excess of 10K lbs, and she got like 6-9 mpg with my 1 mile commute over the last 3 years. Recently moved and have a 25 mile commute, and Im back to getting 13 or so. Just got back from a 525 mile road trip and I was impressed that with all that, and a bed full of tools and toolboxes, and at speeds over 75 mph, I got 14 mpg.
Anyway, all that to say this. The 6.4 takes a lot of fuel to get that big of a truck moving. Once its moving, they seem to be fairly efficient. Those short commutes are killer, especially with stop and go driving. Im pretty conservative with the throttle, but I know how my wife drives her car, and if your wife accelerates like mine, those numbers sound pretty good considering the short commute.
Take the truck on a long trip and see what she does on the highway. IF you dont see mid to high teens, then it might be worth looking into. Otherwise, you're probably right where you should be.