I was going to suggest that you check out the codes page at HiFi Remote (which covers the JP1 remote world in pretty good detail), but there aren't any codes listed there for a Samsung satellite receiver. You might give the Samsung cable box codes a whirl (0144 and 0040). Another thought (which may be totally useless) is to look at the satellite provider that you are using - my cable provider uses a standard remote to control both Scientific Atlanta and Pace boxes using a code library (the SA code set) that is sometimes listed as "Time Warner".