Apparently WMI is "super slow" compared to the pinvoke. It could matter when shutting down a container, I think.