Truck Question

With my budget I am looking at purchasing one of two trucks. My choices are a 6.2 L gas 2017 F-250 with 117,000 miles. It has been regularly serviced and maintained. Or a 6.7 Diesel 2500 Ram with 91,000 miles. Service records are unknown at this point. I will be pulling a travel trailer that weighs just over 7,000lbs fully loaded about 5 to 6 times a year. The rest of my driving is to and from work which is about a total of 5 miles round trip and the usual around town driving. Looking for suggestions?