ARC and Anynet is considered hit and miss by folk I know. You found it didn't work so if you want to try, call Samsung (1800SAMSUNG) to see if they can fix it.

All the installers I know do not rely on ARC. They go with the classic setup of all sources to the receiver and then the receiver video out to the HDTV.