HDMI strictly speaking isn't really hifi but for AV use, good quality switchers are there and you already named one, some foreign forum says Monoprice is good for its price, Octava and IOGEAR also make some, however, HDMI handshake issues are kind of, if you don't try it you will never know if you have it.