5k 4 by 2 HDMI 2b video switcher

I have a PC and 2 macs and plan on getting an iPad this March.

Typically I just use Jump Desktop to have them all available on my 55 in Vizio Tv that I am using as a monitor.

I have an old Viewsonic Monitor that is off to the side that is connected directly to the PC which I use to monitor my scanning.

Occasionally I have the need to work directly on the machine I would like to be able to switch the two monitors over to any of the 4 individual devices.

Can anyone recommend a good HDMI Switch w a remote.

The ability to switch sound at the same time would be a bonus.

Something like this one. Not sure where switches are for 5k. Not an immediate requirement but would be nice to future proof a bit.

4K HDMI Matrix Switch, 4x2 HDMI Matrix Switcher Splitter 4 in 2 Out with EDID Extractor and IR Remote Control, Support 4K HDR, HDMI 2.0b, HDCP 2.2 4K@60Hz, 3D, 1080P Server Busy