Thanks MrFixit and Reyn! I bought the recommended device from Amazon and now I see the AHr, which is 54.2. I am happy about it. My car is only at 7K miles, but it is in hot Texas. It waited to be sold on dealer's lot for over 6 months, under burning sun, and it was 55.1 at that time (I asked the...