I have 24 of these IEC connectors left over from a project. Not sure what brand they are, fairly budget looking , but a nice fit on an IEC socket I have here. Perfect for DIY mains cables.
How about £5.00 for 4 including postage or make me an offer for more.