Woth the bother, only you can answer that one.
The big problem with DivX movies as every one has made them differently. Some make then as quike as possible, some take their time and use "standard" codec. Then everyone installs every DivX codec known to man and then wonders why less play than they did before!
Its very rare to find a DivX that cant be played with DivX 3.11 and 5.x installed only. Then its more of an Audio problem rather than video.
Install 3.11 and say yes this time.