Все разрешилось как-то само собой. Тамошний человек восстановил копию и повторил обновление. Потом пришлось пару раз запускать Отложенное обновление БД. Все завершилось нормально.
Всем спасибо за участие!
Выдавать глобальные идеи — это удовольствие; искать сволочные маленькие ошибки — вот настоящая работа. Фредерик Брукс-младший