I just bought a Phillips DVD-3140 DVD player that will playback Divx encoded AVI files. I sometimes find Divx files available at 720p resolutions - will these look better on my HDTV, or is the DVD output limited to the 480p resolution of standard DVDs? Is it worth downloading the bigger 720p avi files?