Also, the plugs that are underneath the front seats, and the diagnostic box under the console. But since they replaced the seat belt, theres a good chance they bent a terminal on the yellow pre-tensioner plug. this is very easy to do. Have them check that.