Based on recommendations contained in this thread I purchased 15-1994 remote and for first time I have FULL control of all devices with just one remote (TV, receiver, DSS and VCR). Many thanks to all contributors, esp. Jeff at mandala.com, for making setup a breeze. Still one question: What are pins under battery cover for?