" Problem is, there are no 40amp chargers on the market anymore other than the old style stand up type with wheels. Stanley, Black & Decker used to make them but not anymore. Looks like I'll have to get something that can do 20amps at best."
Not a problem! Any deck mount converter can be your new portable charger. You just cut the end off a set of #4 (cu, not cu-al) jumper cables (or use fatter cu-al) and there are your wires and clamps.
With the various charging voltage specs of the various AGM brands, you really want a variable voltage charger you can make do anything, and since it is a portable you don't need it to do "stages" automatically.
Several AGM brands say to charge them at 14.9ish volts and then Float them at 13.6ish volts. so IMO don't bother buying a converter that only does 14.4v for this job.
I use a variable voltage PowerMax as my portable charger. They come in various amp "sizes." It acts in the same role as my 40 amp VEC1093DBD, but has 100 amps. (I can also use both and get 140 amps using the Honda 3000 gen to run them both.
Here it is in action on the trailer battery bank, plugged into the Honda up in the truck ( which goes between the 5er hitch and the cab)
