hi i just got a system from overclockers which is for 4k gaming, currently my tv only has 1 4k HDMI port which is being used by my ps4 pro, id like to have both systems running on 4k but changing the cables every time i want to use one or the other is annoying, is there a splitter or adapter that would work in this situation?