Towing a #7500 DRY TT with a #7200 GVWR 1/2 truck is not going to be fun, no matter what the numbers say.. ;)
Just cause the "tow rating" of that #7200 GVWR truck is over #8000 has no bearing on a travel trailer... That's NOT what the truck towing rating is considering.. ;)
I wouldn't tow that weight trailer with my #7700 GVWR MAX TOW equipped F150... My truck has a "tow rating" of over #11,000 too... ;)
I'd tow a #7500 "wet" trailer all day long with my truck.. :)
Right now, I'm towing a #5000 "wet" trailer and it's a dream to tow! :)
Towed the same trailer with a 97 F150, but it only had #6250 GVWR and I was over that, but it still did well..
But, I've been towing trailers of all sorts of configurations and combos for over 35 years (I'm only 51), so I have some "experience" to look back on... Some of those combos was maxed out on the truck and I was lucky to get to my destination! Other's I went coast to coast with and enjoyed the whole trip. (work related, so it was 14 hour days driving by myself!)
Now that I only tow a TT to "relax", I like towing a rig that does not stress me out and wish I was off the road... With my current combo, the road trip usually ends too soon! I love towing with a rig that I don't have to stress about... :)
Good luck with whatever you get!
Mitch