Ah, yeah, it seems that there's more Astro hardware floating around than I had thought. The wiki page for Astro B.yond lists two different boxes built by Pace and one by Samsung, and the Jason Rumney blog was talking about a Phillips-made box. (And now that I look at it, that one might have been for something other than the B.yond service...)

I will go ahead and add the new LIRC file in. I'll see if I can come up with any other config files as well...