This is a Quicktime movie (file size 8.86M):

Same file exported as a windows media player with a file size of 1.26M: