It wasn't clear. The car was more than ten years. I think the original owner may have purchased some kind of extended warranty, because I had to pay a deductible of several thousand.
Make sure it is not under warranty. Had a battery fail on a ten year old Prius. I had to pay several thousand baht, and Toyota covered the rest. After replacement, all is good again.
I have a top of the line JVC integrated amp from the early '80s that needs service. Knew of a couple shops in CM years ago that worked on this type of gear. No idea if they are still around. Any suggestions would be appreciated.