Ah, I'm glad you said that as I have alawys assumed that the device was clever enough it do exactly as you say. I will add that, in 15 years of using the Ctek I have always used the 12v socket for charging and, fingers crossed, I have never had any problems.
