Has anyone used this switch?
http://www.avtoolbox.com/avt5641.shtml

I am only going to use the audio part, to feed different source signals into a 12 speaker whole house sound system amplifier, so this one (at $69) looks to be just what I need... but until I found the name here, I had never heard of AVToolbox, so have no idea if they sell good products or not

Answering my own question, after buying...

Works perfectly for 4 in and 1 out