Nobody has remade those plastics as far as I'm aware. If you have a damaged one, you may have to search for used ones in the marketplace, on ebay, or at pinball shows.
You also might have some luck posting a WTB ad in the marketplace with a photo of the plastic(s) you need to replace.