Hi, I have written this script.
It´s fix the WMI port on 4321 Port.
It´s have tested on Windows Xp and Windows 2003 and works great.
I made it follow this MS KB: http://support.microsoft.com/kb/897571/
Just run it as Administrator User and reboot. Just like that.
Diorgenes Mello