Does anyone have info. on how to replace the auxillary battery? I believe it's located under the passenger front seat. I am getting a message that looks like a battery that says "visit workshop", but it only comes on occasionally and not regularly. I called the dealer and they said it sounds like the Aux. battery and will cost $185.00 to replace. Anyone seen this before. I can also tell you that the car sits in the garage more than it's driven and this could also be a problem.