What kind of codecs are used? AVI doesn't tell us anything, it's just a container format and it says absolutely nothing about audio/video formats.