Okay, switching gears...outside of Dish Network's own HD receiver (Dish 811), what other brand of HD receiver could I purchase that would work directly w/ my dish service? Please be specific, as I am a novice at this, as if that wasn't apparent already :-)