When to Run a Channel Rescan on Your TV Set (and When Not)