Hi!
I assume Dish's DVRs are made/created by them and not third parties. I have used Dish's DTV Pals (converter box for old CRT TVs and DVR). However, both are buggy.
Its converter box, for VCRs, was the worse due to crashes, hangs, etc. This is a common issue online as shown in Dish...