I have the phillips 642/37 dvd player that plays divx files. I downloaded an avi file, and the audio seemed to pause in parts where it would be a loud noise. I opened the file in VirtualDub 1.6.2 and a box came up and indicated an "improper VBR audio encoding" and said it would fix it (cool)... so after the file is encoded divx or whatever, the file size is like, 200mb smaller? (was 700, now 407mb)... but i didnt notice a drop in quality, why is it smaller?