Could not restore except by unplugging cable box from electric outlet for a
few minutes. Plugged it back in and all was OK.
So what was the problem-- and is there an easier way to fix?
No receiver in this setup--- but everything is connected by HDMI cables.
I didn't mention that in my OP because I didn't occur to me that it might be
relevant. Further info: when I went to pull the power cord out of the back
of the cable box/DVR, I accidentally pulled out the HDMI cable going to the
TV first. It was unplugged for maybe 30-45 seconds while I moved the box to
see where to replug it.
Maybe that's what reset it, not rebooting the DVR??