Comment by Scoundreller

You just gave me an idea. I have a “modern” Samsung Tv with the 8 button or whatever remote. Always a pain to change source.

I think I could get a proper aftermarket Samsung remote for their older models with 100 buttons and not have to use the menus as much.