Brian, did they perform a load test on the 12V battery? The only incident in the last 18+ years that involved a scary warning on the dash, ended up being a battery cell that was low on distilled water/battery acid.
There were no codes to pinpoint the issue, but it is well known that especially with newer vehicles, electronics are very sensitive to battery voltage.