I searched the forum and didn't see a discussion about this. Has anyone played with the new double play feature on DirecTV? You press the down arrow and can flip back and forth between 2 channels. I thought it would pause the channel you're not watching but it doesn't. I can't tell the difference between double play and previous channel?