After a re-start from applying a SQL patch, the patch failed and now I cannot remotely access my server. The WMI service is no longer listed but the WMI Driver Extensions is. How do I reinstall the WMI service to my W2K server?