What is the best way to play DV files? Aren't there several different input codecs to choose from? What are they and how to I specify them? I can play them, but with REALLY poor performance. I can play divx files, DVD, and more just fine. Thanks, Michael