My Craftsman has an Electric, Push Button Starter. The charger gets warm, but not hot when using it. Is this OK? Also it has a red and green light on the charger. The green comes on when the battery is charged. Does it harm the battery to leave the charger on after it is charged? We...