In 13.04 HDMI sound never worked until I did the following..
sudo gedit /etc/default/grub
Edit the line:
Restart the system.
Since upgrading to 13.10 the sound is distorted -- squeaky and seems to be in super fast forward. Any ideas on how to fix my HDMI sound?