Have a video clip. GSpot says the codec is XviD, but when I "click for more info," it says that it will run with 3ivx D4. Are these different codecs? There are different websites for each, should I download both, or is one a kind of container that contains the other?