i do
PS3 -- HDMI -- TVPS3 -- AV -- Receiver
I had to manually set the options to allow a 2nd out component for audio to make it work.
av: