Perhaps I'm mistaken in the time? Most of my knowledge in these matters comes from reading repair books about average replacement times, not from owning a car, and it's been a while.

As such, I'll refrain from commenting on how much a regular car battery costs to replace, since my memory is probably wrong on that too. But $8000 is a LOT.