With a movie loaded, you should be able to reach DivX-properties settings through [right-click > Options > Filters] (etc).
(BTW how are DivX quality settings?)
Further in [Options > Preferences > Video] did you already try different settings of mode/overlay?