Who makes a good HDMI switch?

Hi Folks,

I'm looking for a solid HDMI switch. I don't need KVM: I'm just piping audio/video content from various sources to a 4K TV. A 5-to-1 switch would be ideal.

Are there models/brands you'd recommend -- or avoid?

Thanks!