So what happens if you update iOS OTA with the device unplugged, and the battery dies mid-update? Do you just have to restore in iTunes?