Is it possible to us a 3rd party codec like DivX to play *.avi videos's? We bought out a DJ and he has a bunch of vieo's that were ripped as DivX/Avi files. Or is there a convertor that we effectively convert them to mpeg2? Not something I wish to do.

Thanks for any help