I ran the first command and found the WMI repository is consistent. I tried your second command and that also gave me the same feedback.
Not sure if I should reset it where it's not broken so I'll leave that up to your expertise to give following advice. Thanks!