Thanks for the suggestions, it's given me something to go on.
I've actually already repaired it using a 2mm sprung steel roll pin that I crimped to fit the slot, so the gun is back in action, but I'd still like to get a replacement as I've no idea how long this will last.
Anyway, thanks...