These videos are on mpeg format
Click for WMV format: Vid1 Vid2 Vid3 Vid4