I don't know if any DivX version comes with an uninstall.

I'd get VirtualDub anyway, it's always good for the occasional clean-up of bad/corrupt AVI files or out-of-sync soundtracks.