One of those fine freeware utilities i have to remember: http://www.quicksoundswitch.toflo.de/eng/index.html
This comes in handy if you have multiple audio cards (e.g. normal audio card and audio over HDMI) and you want to quickly switch between primary output device.
Local mirror of version 2.11 in case the original site ever goes down: QuickSoundSwitch version 2.11