A bunch of us at work were debating the merits of 1080i vs 720p with regards to DISH receivers. Is it 'better' to convert to 1080i, even a 720p picture? Or is it 'better' to downcovert a 1080i signal to 720p? Please take the poll so I can see what you have your output set to. Thanks!