A new Promising conversion application to convert video file into DIVX format ...

I wonder if this Pocket DIVX encoder supports converting rmvb file to DIVX, but at least here's another choice. Besides it is a portable mention, meaning that no stupid installation. So that's good.