How do you reboot the hopper?

[gizbug]

Is there a way to reboot the hopper? Or is power off/power on the only option?

 

[cosmo_kramer]

red button under the front panel

 

[WheelieMan711]

Or, if you need to do a hard reset unplug it and plug it back in.

 

[MikeD-C05]

You can still do a smart card reboot also; Pull the card & re-insert it. 3 kinds of reboots possible and works just like all the other DISH receivers.