overkill?
I know this may sound a bit crazy but does he really need ~7000 in rated towing capacity to tow ~3500 lbs of stuff? That's my guestimate for 2100 lb car + car hauler + misc.
Don't get me wrong, everything you listed would do the job well. Just brainstorming.
Having experienced towing a boat with an undersized vehicle, I'd go for the overkill but this guy favors smaller.