Quoted from setzkor:

For the flippers, you need both sets of numbers in the manual for the coils (one pair for each winding...in this case, I think the 34-4500 refers to the hold coil). The lower are J-25-500/34-4500, these are pretty common and available at Pinballlife etc. The top flipper coil is a J-25-600/34-4500 and is a little more difficult to source. When I redid mine, I left the original in place as it still worked. Also, many of these shipped with a 1 ohm 5W resistor in series with the top flipper coil, I replaced with a 1 ohm, 10W. Some may not have had it and you can adjust the EOS switch to lower the power on the top flipper if you think the plastics are in danger.