Any particular reason you are going with a thunderbolt dock? AFAIK, a KVM switch would be much much cheaper and get the job done, granted they usually don't come with LAN.
Also, how many input types do the monitor support? Just HDMI, or do they have DP port/DVI, etc?