So in the end it was a bodge between the two. I cut off one end of the ribbon lead and soldered the ends directly to the open end of my RGB cable, with heatshrink.

Click here to return to Pi RGB to HDMI