portable app for divx question

You guys may have some suggestions.

I'd like to be able to go to a 3rd party computer (internet cafe etc) and convert a downloaded (avi, flv etc.) file to my usb and then convert the file to a file compatible with a DVD player.
In VLC I see you can convert a number of files to 'Div3'. (It doesn't seem to be an executable file on my netbook(which is fine) but I'd like to know if converting to Div3 is usally a good bet for using on a portable DVD player.

I live in Korea and the other day I took a straightforward avi file to check out portable dvd players and surprisingly it played flawlessly on a portable dvd player there.....I'm sure file compatibility is not always so easy.