If you click on that 'Codecs & VLC' link in my post (#2)...you'll find links to codecs there. I've used the XP Codec pack for WMP. I think a lot of people also use the K-Lite codecs.

Did you ever try installing VLC? You don't have to make it your default player if you don't want to! I've got WMP & RP & I can still use those players if I choose to (VLC's my default though). I've never tried DivX player, so I can't help you there.