I tried a few places (ebay being one of them) - all sold out. a shame as mostly the replacement was around £7 plus a bit of postage.
So a result getting something from China for £4.85, quite quick as well, I think i ordered on 13th Nov and it was here on 27th
for interest this is what I ordered
formatting link
There was another which had jumpers to configure the sockets, but they had sold out when I ordered. this one
formatting link