Not for pinball stuff but I have colleagues who have ordered a few random bits through them.
I'd personally just print them myself and deal with any precision issues with hand filing and finishing of the part.
I'm not sure I'd use anything on the playfield. Printed parts dont look like injection molded parts unless you do a lot of finishing.