After several years with just normal minor glitches, our 722 has had a problem twice in the last two days. It gets into a state where we can change channels using channel up/down or by entering the channel number, but most other buttons (Guide, DVR, Info) do nothing. The only solution is to do a reset and wait for it to come back up. So far, this works and all functionality is restored. Is this a result of a recent s/w update, or should I talk to DISH about a possible replacement or ??? I would include my s/w version number, but don't know where to find it.