Please note that another way to get the Receiver to cold-reboot is to pound on its power button repeatedly. Just for future reference.