I encoded those 3 clips with divx5.1 codec. You can go to their website divx.com and download it for free.
To make sure your windows media player wil play avi's go to tools-options-filetypes and make sure avi is checked. That should work for pretty much eveybody.