Just picked up an ATEM TV studio 4K. Nice because unlike most switchers in that format it has frame synchronisers and resolution independent inputs. So you can output up to 2160p while inputting anything from 720p all the way up. Downsides include lack of a grab/freeze function and (for me) lack of any HDMI inputs.