The issue with the videos is that they are AVI's encoded with WMV3 which is the format for Windows Media Player 9. Took me the better part of an hour just to be able to grab a frame to do side by side comparisons.
From all the googling I did on that, it doesn't look like there's much to help out the Mac peoples. Since the codec's a bit old, there might be something you guys can use.
HERE's a thread from 2005 on the subject.