[Test-Equipment] HP 8640B Broken AM Modulation Switch

[Barry]

Anyone have any suggestions on how to fix a broken AM modulation switch on an HP 8640B?  I'm looking at one that has that problem on eBay and was wondering how hard it is to find a replacement part.  I know these are fragile points and many have been broken over the years.  I'm also figuring there are few if any NOS replacement parts so not sure if I want to take a chance on this or not so was was wondering what others have done for this.  Time for a 3D printer?

Thanks,
Barry - N4BUQ