IMO, if the 12V battery is any more than 4 years old, replace it (5 at a pinch). 'Seemed ok' does not sound wildly scientific! It needs testing under load as any load (especially a significant one) will cause the lead-acid battery voltage to sag, especially so if it it partially or comprehensively stuffed. As the 12V auxiliary battery is so crucial to the normal operation of these cars, buying a new one is often the route to a very quick (and easy) repair! And buy a good quality one - getting a cheap one is a very false economy (unless you are 'flipping' the car - not that I recommend such Spanish practices... Oooh... Can I say that any more?)...