You would think they would connect the diagnostics to reset the service clock and make a quick check for fault codes. But maybe the service clock has expired (9 years) or was previously disabled. Presume it is no longer under manufacturer warranty.
What is the electrical fault?
Have you considered a forum member who can offer help you with their
multiECUscan.