Hello everyone! I've been fixing up a Sharpshooter and just replaced the flipper assembles with the classic Stern's from pinball life. Flippers now work but I noticed they are not the same part. Anyone know where I can buy a flipper that works well with Gameplan? The old ones that someone put in this have been rubbing on the playfield and have worn it down. I'm wondering if something like this will work:
https://www.marcospecialties.com/pinball-parts/A-3994-5
or
https://www.pinballlife.com/classic-stern-shoe-and-shaft-flipper-bat-assembly-1977-1980.html

Are all flipper shaft diameters the same?

I also need to replace the flipper button switches, they look original and really pitted. Would this work:
https://www.marcospecialties.com/pinball-parts/SW-10A-48

Thanks!