P.S. But, I just mention that it would appear that the 12v battery is working, since we can start the car with no problem whatsoever, and all the electronics, such as the AV display and dashboard electronics, windows, lights, etc., all work just fine.
Later.