It has taken a bit of hunting to track down a reasonable way to print these in plastic. By far the best thing would be to get the original injection molded part but I haven't been able to find them either.
So who is gonna be the guinea pig and let us all know if this works?
I found a place online that will print them. You will need the .STP file for the latch in my earlier post - this site won't let me upload it ('invalid file type') so PM me with your email address and I will send it.
I found a place online that will print them:
https://www.shapeways.com/
Make yourself an account there.
Upload the .STP file - dimensions are in mm. I got frustrated and added the text 'v0' to the file name and pressed 'Update' and the image showed up.
I think they will pick the best orientation for printing automatically but that may require some experimentation.
Choose material - 'Strong and Flexible' it is Nylon 12 - I hope thats a good choice.
It looks like these are $5.13 each