That’s hopeful news.
One thing to consider; if the 12V battery has been sitting for a long time it may be sulfated and near-dead. It would be prudent to request they fully test that battery and replace it if necessary, before you drive off the lot. At nearly a decade old, original batteries...