I am borrowing a miniDV camera since mine broke, and this one I'm borrowing only has 32khz audio 12bit. I noticed AC3 files need to be 48khz, (or maybe they can be 44khz, haven't tried 44). So other than loading the AVI file into adobe premiere and exporting to a WAV file at 48khz, is there some other quicker way I can do this?? i dont' like adobe premiere, its too clunky and uses up too much ram