Since the new mini has an HDMI output, could you plug your Ps3 into your mini and export video through the mini display port? For those special situations when your monitor doesn't have an HDMI but has the other port.