After all the discussion documented on these pages, Samsung finally wrote...

Hi David,

I am including a link to the Comcast page where you can search for codes. Just choose your remote type and enter Samsung as the brand to see the available codes.

http://customer.comcast.com/remotes/

And if you don't mind, please take a minute to let me know how I am doing by completing this survey: http://www.surveymonkey.com/s/SMag01

Thank you,

Chris M | Samsung Electronics America | Social Media Support Team |

So, after (again) following these directions and using two different remotes, and having both remotes successfully communicate to the Samsung TV and not the Home Theater on AUX, clearly the Home Theater is broken.  I'm now requesting proper replacement procedures from Samsung.  Stay tuned.