I would grab that new one on Ebay, even if you happen to get your present one repaired- - - -that's a steal at the asking price, and it looks like they might accept a somewhat lower offer. A 40-year-old NOS part is worth having, especially one that's as scarce as that one!
I'm doing some macro digital pictures of the service manual pages- - - -they should reproduce better than scans.
Jerry