[p07r0457]

Circuit short to battery implies a sensor is going bad, or a wiring harness issue. If you were in a front-end collision, then both are a real possibility. The code is listed as "past"... Did the shop clear the code and is it reappearing? You want to make sure you're not trying to trace down resolved issues.

Did they disconnect and independently test both batteries? What were the results?