I'm having some trouble with invalid wmi namespace and running the health check failed for a machine. We found the server service stopped so we started that up and now we just receive a health check failure. What steps do you recommend for troubleshooting and repairing WMI issues?