Does anyone know how much a Russian Pro Diver 5857 would cost? I'd like to buy one but don't know what the used going rate is and searching through ebay and amazon didn't give me any help. If you have some links to pricing that would be very helpful.