Although, surely the garage would have checked the battery first. I'm just basing this on my own experience with the E60. Mine still has the original battery (2006) and if I do a lot of short trips or if it's parked up for a few days in a row, I get some errors including an 'increased battery discharge' warning and sometimes the radio will reset itself during a drive. Get them to test the battery