One-For-All proponent that I am, I offered to furnish a replacement remote for a TV and VCR at my girlfriend's parents' house. At Sears I found the Big Easy HT, which is like the Cinema 7 minus learning or a CD device button, but with a useless digital clock that does nothing at all.
Anyway, I got the TV and VCR programmed, including EFC's, in no time. But they also have a satellite receiver which seems to be an MPEG-2 DVB box.
The receiver is made by Samsung but the original remote is branded by Alphastar. The listed device code for Alphastar DSS (0772) does nothing, and there is no listing for a Samsung receiver. Code search does not seem to give me any hits.
(Yes, I know I should have searched for another Cinema 7 and simply learned the commands from the original remote, but...)
I've emailed UEIC but in the meantime was wondering if this rang a bell with anyone.