@lyonsden:
Really absolute excellent post and write up.
Very helpful foto documentation - will help the whole pinball community for the eternity.
I think, you will be "pinwikified", if you write to Chris Hibler - this should be stored in pinwiki.
Another reed sensor as I suggested would also work, important is the length of the glas-tube, 7mm.
- MEDER, part-number: KSK-1A80-1015 = mouser.com part-number: 876-KSK-1A80-1015)
http://www.mouser.com/ProductDetail/MEDER-electronic-Standex/KSK-1A80-1015/?qs=KFo7JewZbUFX%252bU5EsD5Ziw%3D%3D
- PIC, part-number: PMC-0701 = conrad.de part-number: 503800-62
http://www.conrad.de/ce/de/product/503800/Mikro-Reedschalter-PIC-PMC-0701-1-Schliesser-05-A-150-VDC-120-VAC-10-W
Good idea, to also replace the diode, when you just have it open.
GPE should put it in his shop as a "repair kit for WMS 20-10293 reed sensor".
CONGATS and THANKS for your great documentation.