One thing to watch out for with the laptop cooling pads...Some of them blow air up, and some of them suck air down! The ones that suck air down do not work well because they direct air the opposite way that the Dish receiver airflow is designed to work. The air flows in the bottom and the right sides of the receiver, and it flows out the vents on the left rear. Some here will tell you to just turn the cooler upside down, but I have found that does not work nearly as well as the fan I suggested.
I installed the thermaltake fan sucking air out the left rear of the receiver. With my 722, the average temperature went from 130 degrees without the fan, to 107 degrees with the fan running at a very low speed. A big difference! As I have already said, with the fan set exactly as it was with the 722, the 722k's temperature is 120 degrees. I am sure if I increase the fan speed a little that I can reduce the temperature further, but I wanted to see how the 722k acted before I made any changes.
Also, the 'high' temperatures are difficult to monitor because once you hit a high temperature it does not change again for a very long time (unless it goes higher) so it is impossible to tell what the new 'high' temperature really is. The average temperatures change gradually, but I have found that it can take a couple of weeks (or longer) to stabilize to a new value.