Du hast doch schon einen Booster.
Im Netz findet man viele ausgemusterte 12V Netzteile von Computerserver für kleines Geld. Die kann man leicht auf ca. 13,6V hochregeln und dann mit auf den Eingang des Boosters klemmen. Da freut sich dann auch die Starterbatterie über eine zusätzliche Erhaltungsladung. Noch 12V über Dioden entkoppelt auf den D+ Eingang vom Booster und du hast ein Topladegerät.
Mach ich übrigens auch so, allerdigs als Zusatzladegerät wenn es mal schnell gehen soll und auch, weil mein Originales kein AGM kann.