Are there any Samsung home theater users out there (say you have a late-model TV, the Blu-ray, and an A/V receiver) who can confirm that they can use one remote to adjust sound and at least switch between devices with some model of set top box? If so, do you know what model of set top box you have?