Thanks.
Strangely, I just tried the car after about two hours of charging.
It cranked, but only for about one second before terminal clicking noises indicated battery exhaustion.
I'll leave it buzzing overnight, but that's not the behaviour of a healthy car battery.
Methinks my batt might be 'Donald Duck'd'
