I wonder if they weren't using VLC's hardware acceleration option or something? Not that I blame them; the options screen is kind of a nightmare.