Thanks again pods. You are a great wealth of knowledge. Seems like your setup using the 7.5amp charger is the way to go, but I just can't find much on it, doesn't appear to be the popular route. But, think I will scrap the separator idea. The only issue is at 7.5amps, it would take 14 hours to fully charge my 100 amp hour AGM battery (hopefully I'd never fully charge). I can't find anything in in the 15amp range? I've read you can get 30amps (25 after the losses from the distance) from your 7 pin.
Let me also ask you: I have also read that you can wire your camper battery directly to the 12v 7 pin feed wire (with a separator or isolator to be safe). The advantage of this would be the full 25 amps to charge the battery, the disadvantage would be loosing the 4 stage charging offered by the 7.5amp charger, correct?
I think something like this isn't as popular because folks don't care or don't want to think about proper DC-DC charging (plus many go over to solar which does have voltage regulation available, stage charging & voltage conversion is what you are paying for in the more expensive models). Or some also just accept (or don't realize) they might get premature battery failure, however most are happy when they have a couple years in that they don't realized they could have had a couple more. If I was running flooded cells I likely wouldn't bother with it either because even if the alternator floats the batteries too high/too long you can just top off the fluid levels. Can't do that with AGMs. The other option would be to be able to monitor & shut off the charge going to the batteries when they get full.
One would hope you don't drain down your battery completely.
Some options if you did want to pursue something like this though and did drain your battery all the way:
A ) For starters since you are using a 7pin you could wire up two pigtails (the connector you plug in) with one going to the charger (this would be your normal one that you plug in) and another going directly to the battery and bypassing the charger (plug this one in when you need more juice for a while, assuming your 7pin actually provides what you are looking for, and then swap them back later when the batteries just need to be topped of and float charged).
B ) They used to have a switch on that charger to click it over to 15amps but stopped doing that, not sure if it could be modified still.
C ) Promarinier makes a 40amp DC-DC charger but it runs over $400 if I recall.
D ) In a pinch if you were really looking to dump some charge in quickly to a dead battery in a short period of the truck running but not driving you could always use jumper cables from the alternator which would handle the charge.
As long as your 7pin power line is ignition hot only (ie only has power when the truck is on) then it already has a relay on it and there is no need for an isolator as well. I'm assuming you're 7pin power line is around 10ga, if not then you should likely upgrade it for the sure you want to do. Yes you can connect directly to it and yes you'll get whatever voltage comes out the other side (that will likely vary some depending on how much current is flowing at the time as well).