I'm not sure exactly how, but we rebooted the computer this morning and it now popped up with this box:
WMI has encountered a problem and needs to close. We are sorry for the inconvenience.
And that seems to have fixed the problem. I'm not sure if WMI is important to the running of my machine, but until something breaks, I'll just leave it as it is for the moment.