I've listed all the used coils on my Tech Chart for Pinball Pool.
Look on my website for the file.
http://www.pinballrebel.com/pinball/cards/tech_charts.htm
I think you are looking for this one:
https://www.marcospecialties.com/pinball-parts/A-19217
Peter
http://www.inkochnito.nl