I have the smaller bosch charger, it works well for our little car battery when we forget to take out for a weeks or months at a time. Is it Bosch c3?