Just because of the fact they will only work with Dish Network feeds, I'd pass on these.
Do this; call your installer and tell them you get HD via cable and another OTA box also. How will you incorporate this equipment and will it work? If the answer is anything but "It'll all work", look the other way and don't look back.