I'm working on a 1979 Williams Flash pinball. Despite buying a coil sleeve kit from one of the well known parts suppliers, it doesn't have the correct coil sleeves. I've check the manual and documentation on IPDB.org as well as searched this forum and the internet in general and can not find a reference for coil sleeve sizes. Can anyone point me to a reference or have information on the 14 coils and correct sleeve sizes for this game? Thank you.