Good to know. I was thinking of exchanging the 15VDC converter for the
12VDC one this evening. I thought the 12VDC might under-charge the
battery, and was wondering which is the greater of two evils.

I'll keep the 15VDC converter and use it. Then, in a year, when I cook
my battery accidently, I'll go buy a DeWalt cordless drill.

Thanks to everyone who responded, this thread has been a great help.

(Trots off to splice wires.)

ff