Discovered a way to convert a WMV to AVI file using VirtualDub and AviSynth.
I am in the midst of finding out how to rip audio from VOB files. I was using DGIndex initially. It was working fine until I discovered that the wave file generated by DGIndex is distorted for some reasons.