I've heard that these videos encoded in these are top notch but will windows media or divx player run them??? Just need to know before i start downloading. Plz help.