Update. Since I noticed that the battery light does not come on when the battery is hooked to an external charger, and without the charger the alternator, while the engine is running, gives 14.2 volts to the battery, I thought that maybe there is a ground issue with the alternator. And so I...