I have a MicroSeven security camera that saves video as AVI files, such as this magnificent example of USPS customer service. VLC can play the videos, and reports them as "H264 - MPEG-4 AVC (part ...