I wouldn't bother with used shifters. You can't really tell if they work well unless they are cabled. You may be able to find NOS on ebay but it will be pricey. I wouldn't hesitate to use Microshift. I've read that 11 speed Campy is another way to shift 9 speed Shimano.