You're frind sounds correct. It's definitely a problem with the wiring harness. IF this is related o the theft, the insurance should cover the repairs. I'd take it to a different shop or Honda dealer and have it fixed correctly. Especially if the SRS light is comming on.
If the car was in a creek and the insurance decided not ot total the car... then they MUST fix it correctly.