good on you for doing a repro part, as some one mentioned about shapeways, there is a groing selection of parts available there. Here is a search of "pinball" tagged parts
https://www.shapeways.com/marketplace?q=swinks&sort=newest

here are some of the repro parts that I have done to save some of those classics.
https://www.shapeways.com/marketplace?q=swinksrepro&sort=newest

the Shapeways nylon is laser sintered and strong and tapped threads works well and solid filled and not partial filled.

Even if you friend sells there, get him to add to Shapeways as he earns a small commission and people can find them in the future and who ever uploads can select the materials and colours.

Also a comment on the sharing of files, some files I give away and most I don't as there is at times alot of trial and error, reprints, testing which takes alot of time, so just share to Shapeways and people can purchase if they want or need the part.

here is a cam I did to help a mate for TZ / BOP

and works out to be around the $35, so a fair price, custom colour and solid nylon
https://www.shapeways.com/product/E2ES3LJ4Z/pinball-drive-wheel-03-8476-tz-bop?optionId=55148176&li=marketplace

710x528_8186905_6202205_1534467177 (resized).jpg

I use to share files or charge a small fee and people would promise not to on sell or put up at places like Shapeways etc but on 2 occasions this happened so I get why some people don't want to share and I am reluctant to share files now

also if people have a 3d printer, alot can be gained from those people designing the part and printing out there own part - great satisfaction in achieving and building your own skills