At 4 hours of diagnosing , I'll assume no codes were set in the Engine Control Module. Did the shop give you any indication of which sensor ?
Last 07 , ISB , that I worked on had 5 or so.
Retired 6 years , memory plays tricks.
Did they try a complete battery disconnect, for a couple of mins. ?
If you were cranking the engine with the batteries low, could be , that triggered a shut down in the ECM, and reconnecting to fully charged batteries, may reset the ECM.