Thanks for the tip. I didn't know those existed :)
The issue I have is that I want both signals available without messing about with wires.
I'm just looking for the cheapest solution. Here's my available in/outs:
HD 7850 GPU: HDMI OUT, DP OUT, 2 x DVI OUT
PS3: HDMI OUT
Monitor: DP IN, DVI...