DirecTV. Channels not coming in. Normally, this means some combination of heavy rain and high winds. Not likely in this case - it's sunny.
Or maybe it's a physical problem, like wires disconnected (nope) or the receiver being blown out of alignment. (That did happen a few months ago – the recent storms didn't do it, so not so likely now.)
It could be a programming issue, except in this case, it's a lot of channels. (Sadly, ESPN was still coming in, so I had no excuse to avoid SportsCenter, which is rapidly decreasing in quality.)
So I go online, and of course the first thing it suggests is rebooting the receiver (unplug, wait, plug in, turn on).
Ta da! Full complement of channels again.
Now how often does that happen?