There is a specific diagnostic procedure for this symptom in the service manuals.
Hopefully, your shop is actually reading a book and not just poking around randomly.
First off, have them check for the +5V Vref power source. If that gets killed, nothing more than the starter will work. Just ask Bizzy.
Make certain they have the troubleshooting procedure and that they are following it.
Steve