Hi, I love vlc and since years play all my videos with this program. Unfortunately since a few weeks, I can not play sound via encoded HDMI output anymore. I am not sure whether these problems came with the update to OSX 10.8 (now 10.8.2) or earlier, but the other setup (vlc 2.05, Denon amp, cable, ...