Check eBay to see if you can find those assemblies used. I’ve bought the pin reset mechanism from parted out games before. That would probably be the easiest route vs trying to find the exact coil. Plus buying a full assembly can act as a source for future repairs.