Jon, no luck with the pronto hex codes you mailed me. The TV/RF and HDMI codes don't work, nor does the Video 2. This is the same behavior I've seen reported in other posts to AVSForum as well as to Remote Central.

Thanks for the effort, I guess we're going to need to have Samsung weigh in with an answer for us all.

-- Dave