I'm working on a 1979 Flash pinball that's been in a garage for 25+ years. Dust and grim have infiltrated all parts of the game. What do people recommend for polishing up the red plastic concentric fin posts? I've usually just used simple green and a toothbrush. But, that's back breaking standing over the sink brushing all of them. I have a tumbler, but don't know if that would be too rough and I'm assuming all the media would stick in the fins, so that might just be more work. How do others clean all the posts?