i understand your concern, the repair listed on that page repairs the installer program . your problem was a bit different, but the fix should be the same. i would suggest you do a on-line virus scan to double check and make sure it wasnt virus corruption that caused the issue in the first place.
http://www.pandasoftware.com/actives..._principal.htm