Hdmi receivers should switch automatically, you set Hdmi up in the audio menu on the receiver the same way you assign optical or digital devices.(TV-opt1, DVD-HDMI 1) You usually will have to setup the video device with hdmi, DVD player, Playstation3, HDDVD player in their own menus to output via pcm.

A computer once beat me at chess, but it was no match for me at kick boxing.