プリンストン、HDMI出力端子を搭載した切替器「デジ像 HDMI-BOX版」（関連情報）