I currently have Dish HDTV w/622 receiver and I am considering switching to Direct TV because they have my locals in HD. However before I switch I would like to know if the format options on the remote for the HR20 receiver contain a partial stretch/zoom option. This is part zoom and part stretch. It's a nice feature since just stretch makes everything look wide.