But where's the fun in that? What I ended up doing was finding a bunch of old linear supplies in my junk box. Each was adjustable from 12 to
15 volts, so I set the regulators to 13.8 volts, and they work well as trickle chargers. (IIRC they are rated at 2 or 3 amps).