I have just gotten a Sanyo Z3 which I am very happy with (and thanks to all the great advice from this forum for that purchase) and I am using it with a Samsung 850 DVD player. However the manual for the player does not make it clear which resolution it outputs through hdmi is the best. 720p or 1080i. The latter has the higher resolution obviously but the former is progressive (I assume). So far I have been using 1080i and the picture quality is very good. But would 720p be preferable?