You should be able to have them check the VIN number in the service department and see if the battery needed that repair and if so if it was done. I did that when I bought mine about two months ago. That is a great price, I would grab it before someone else does. Even if you have to go for a new battery, you saved $4k on their error. I would not worry about the battery as others have said. By the time they start failing the prices of batteries will have dropped. I bought an '02 that only had 7,100 miles on it for $16K which I thought was a great deal - yours sounds as good or better. I think you will love the car. Unlike buying it new, you are not paying much of a premium and it will make great economic sense in terms of gas savings alone.

Kirby
http://greenhybrid.com/compare/mileage/car/1024.html