Had a bit of issue re-routing all sound through HDMI.  Here is the fix:

create or edit /etc/asound.conf, and here is the only line in my file: