I formatted the cache partition... and this fixed the phone, at least temporarily. When I rebooted after that, I got a message that the update had failed and the phone was good to go. I'm sure that at some point it will try to push the update again but in the meantime I have managed to get a good backup done, and tonight I will flash the new ROM. Thanks for your help.