64-bit DivX/XviD codecs?

me again 😀

stuck at home bored, so decided to fix the little problems on my computer… up to my last one 😀

I have some video files (500+) encoded as XviD files.

obviously from the title, trying to find 64-bit drivers so that Windows Media Center (on Windows 7 Ultimate, 64-bit) can play these files

already have 32-bit DivX decoder installed, so files play in Media Player, but not in Media Center.

would be good to get some recommendations for a codec to use as the few I have tried haven’t worked

Thanks again,

.Martin.