My PDF reader sucks so my searching of the manual isn't fruitful. I looked at the coil data in the manual and it doesn't list the sleeve sizes. I don't really want to pull all the sleeves from WOZ and POTC just to size them. Marco lists this sleeve for WOZ (https://www.marcospecialties.com/pinball-parts/03-7066) but I am wondering if that is for all the flippers? Same for POTC?