These cleanly-written steps are very useful for repairing WMI on a Windows XP Workstation