Unsurprisingly, the reply from the Martin site was:Don and those interested, I saw that listing on eBay with the seller from Indonesia asking "big money". Fortunately that is not the one I purchased. I found a new NOS item in the bag out of Texas for a much more reasonable price. I also came across a site out of Germany, Online-teile.com, by Martin, claiming to have stock for €2.86 each. I did just now inquire if they really have it and cost to ship to the USA (they don't actually list USA as one of the countries they ship to!)
"Unfortunately, this spare part has been dropped and will therefore no longer be available. I regret the circumstances."