Further: are you sure its DivX decoder you're using? Though it indeed cannot be accessed though Options > Preferences > Video, you should be able to reacht it (with movie loaded) through Options > Filters.
Exactly, it's available under Options -> filters while not under preferences.