Obvious solution: go to divx.com and install the codec. Worth a shot if you haven't already.

Other solution: Get a batch converter. Something like Divx converter , but which does the opposite. I'm sure there must be one out there, with at least a reasonable trial period.

When in doubt, think about penguins. It probably won't help, but at least it'll be fun.