HDMI端子を増設できるHDMIセレクターと言うものを見つけました。
昔、子供がゲーム機をつないだり、DVDプレーヤーをつないだりしていたのの現代版ですね。
これがあれば、いちいちレコーダーを外さなくて済みそうです。

先ほどの投稿は独り言だと思ってください。
失礼しました。