There is no "reinstall OTA" option under the service menu on my car. It would be a nice thing to try.Did either of you go into the 'service' menu and do the reinstall OTA option. I've done it once successfully after a failure. The software is already on your 'harddisk' partitions so it just reinstalls what is there.