For anyone having to reboot their receivers because of no audio thru the hdmi connection you might want to try this because it is much quicker fix for me atleast.
I'm using a vip211 connected via hdmi to a new Samsung 42" plasma and it works every time for me.
Go into the menu
slect -...
