Thanks jnepsa.
I tried using a previous device backup as the source of the Service Books, and that did not work.
If I use another carrier's Service Books how will that affect my device? I noticed that there were only 13 Service Book files in my Cincinnati Bell ipd file, while AT&T's file contained 50 or so SB files. Is there a reason for the large discrepancy in the number of SB files?

