前から買おうと思っていたHDMIセレクターをようやく購入。電源不要で手動切り替えできるやつで、入力3つ以上あるのが欲しかったので。