I don't think I need the tytool part becuase I already have plain mpeg2 files without DRM.

I tried the divx converter program

Link. It works but I would like more options.

I don't know what Dr divx was like and they stopped offering that. With this new program you just get a window to drag files to and you can choose from some preset quailty settings. (unless I am missing some options menu ?)