Aha! So, you've got the latest and greatest version of the Astro hardware. Yeah, since the Samsung box is completely different from their previous devices, it probably does have a completely different remote...

I don't know if I'll be able to find a config file specifically for that box, but I'll try adding some other Samsung keysets; one of them might work for you...