Oh brother. Not this again. In the US working 128Ks turn up routinely. I have been monitoring them on eBay and the average is about 52 a year. Hardly rare. And this does not count local Craigslist sales, nor garage sales, and Thrift shops around the country. In fact there are more 128Ks than the market for them.