These videos are on DivX format
Click for Windows Media Video format: Vid1 Vid2 Vid3