HDMI Switch for Pi

I have a monitor that is connected to another pc and a pi, up until now I have had to swap cables when I wanted to use the pi/pc and it was getting tedious.

As I read that some don’t play nicely with the pi, I was assuming that it might be tricky to find one that works – however this duronic hdmi switch works perfectly (even the auto switching) with the pc and pi. The only issue is the blindly bright blue LED – seen below covered with a square of post it.Connected as follows:

PC-DVI--------------HDMI-[switch in]
Pi-HDMI-------------HDMI-[switch in]
[switch out]-HDMI---------DVI-[monitor]