The Battery Tender Plus will be great for maintaining your batteries. If that Boondocker gets up to 14.8 V, it will be a winner, too.
FWIW, I've recently started using a low amperage 12 V power supply I had laying around to maintain my loose batteries. My loose batteries are auto style but the power supply would do a good job charging deep cycle batteries. The OC Voltage is around 15V. Depending on SOC of the batteries, it takes a couple of days to put a full charge into them and operation is completely manual. Previously, I had used a 12V wall transformer. That works, also, but has a lower OC voltage and doesn't push as many amps.