An update for anyone who cares. I now have an awesome set up at home. I have my main/home PC running through my monitor. I have my pc HDMI running into an
HDMI switch and then into the monitor.
I have my laptop docking station with an HDMI cable running to the same HDMI switch. To make it even better, I bought
this, now I have my keyboard and mouse running into the USB switch.
So if I want to switch between my work laptop and home computer, it's the case of quickly pressing the button on the HDMI switch and USB switch and it jumps over.
As i have a Logitech G510, I can see instantly what setting is active as the profiles are different, keys = green when home pc, and white when hooked up to work laptop.
As I already had the HDMI switch for the PS3/PC, I kept it, I could have bought an HDMI/USB switch, but didn't both. Pressing two buttons isn't that much extra work. Prior to this, I was juggling two mice, two keyboards (+ the laptop keyboard too I guess). Now, all is tidy.