Shortest answer: 18
Short answer: I've gotten anywhere from 15.5 to 21.5 with my current setup. I bet he gets somewhere in the high teens with those huge tires.
Long answer: The stock motor came with fuel miser heads meant for non-turbo applications as a response to the Oil Embargo years. With the original motor, original 3.42 gearing, and OEM 235/75/15 tiny white wall tires we could get 23 mpg on the highway @ 65 mph. Yes, I'm serious!
Now my truck has a different motor (6.5 block) with heads meant for power and turbocharging. As of very recently I have added a turbo and turned up the fuel. It drives like a gas V8 now, and returned ~17mpg on a recent trip this winter through Wy / Co at high speeds. I have 33"/10.5" tires now.
His rig: 35" tires and a 4.10 ratio work out to about the stock driveline gearing, so no change there. If he has the original 6.2 then it has the fuel miser heads. However, dock some serious points for vehicle height and tire width (those look like 12.5" wide). I'd guess that rig would get 20mpg @ 65mph. Stock tank is 41 gal giving an effective range of ~750 miles.
Also, these rigs are underappreciated in this corner of the country, so it may last. If it was New Mexico it'd be gone already