[tsac]

Best guess is the battery was dead or dying and when you lost power it corrupted the OS. Using the tools you indicated will restore any blackberry that has a corrupted Os just as long as the unit is not defective or the battery is dead or close to dead. There are not many tools available for the restoral and I bet the vendor used one of the ones you listed.
One suggestion is the next time do not do an update via the internet. Download the updated OS and applications to the PC so internet connectivity is reduced and the upgrade is a lot faster.