Hey raw,
how are you doing?
For an uncomplicated and safe switch I would recommend you a seamless switcher. Sadly they are quite expensive for 4K signals. The point is that you don't want to reconfigure your output again after a switch which
can end up in a EDID re-handshake with typical cheap switchers. This will not happens with a seamless switcher.
Here are some reliable but expensive brands I know:
Puretools
Tv-One
Analogway
Extron
Barco
But there is a cheaper way to get around the expensive seamless route which also works just fine.
1. Buy a cheaper HDMI 4K Switch like for example:
Amazon HDMI 4K Switcher
2. Buy two 4k EDID Managers/Emulators like them:
EDID Emulator
These EDID Emulators will let your VJ computers think they are always connected to a 4K 60 Display. So they will never try to do a new handshake after a switch with a cheap switch.
The only downside with this method: Your output to the inhouse system will turn black for a second or so after a switch.
I hope that helps.
best wishes
cosmowe