Question HDMI matrix switcher needed...I think

Hey guys! Don't know much about this stuff but trying to help my boss out. He's looking for an HDMI matrix switcher (we think) for his video game store. He has two TVs, one on each side of his store, and wants to display games on each TV. He has multiple game consoles (Nintendo Switch, PS4, Xbox 1) that he'd like to display, so more than one source would go out to the TVs at any given time. I've seen some online https://bzbexpress.com/HDMI-Matrix-Switcher/ and a bunch on Amazon but not sure what I'm looking at/for. Haa. Thx for any help!