Went for the cheaper Super Start (700 CCA) from O'Reilly's because it was in stock, and black (not yellow like the WM Maxx). Required a spacer for the clamp (used a brake pedal pad that was sitting around).

The new battery took a slight charge, but is still showing only 12.5V (car off)? I was expecting 13.6V (and see the 12.7V earlier in the thread). Is ~12.5V normal for the European-style "12V" batteries?