With Converter App, you can convert VOB files into many other formats:
VOB to MP4 | VOB to MP3 | VOB to MKV | VOB to MOV | VOB to WEBM | VOB to WMV | VOB to MPG | VOB to WAV
→ All VOB Converters
If you want to keep working with your final AVI, try:
AVI to MP4 | AVI to MP3 | AVI to JPG | AVI to MOV | AVI to WEBM | AVI to MKV | AVI to WAV | AVI to TEXT
→ All AVI Converters