I solved this problem by downloading a free avi player from cucusoft.

Not only did it give me an alternative and easy avi player, it also seemed to solve the codec problem with WMP.

Hope this works for you too.

Jenni.