Oh well, I was a bit late here but was about to say, there is a USA seller on eBay called peelplus that sells half metre HDMI cables for £3 shipped, just got myself one, and since the quality of a half metre HDMI cable doesn't matter to the signal, £3 is better than £17. Turns out I don't need the cable I bought after all. Oh well.