Depending on where you live and the availability of watchmakers in your area that are knowledgeable about vintage pocket watches I'd expect to pay around $150. I wouldn't spend too much more as the watch is not worth much more. Your 917 is a size 10 watch and was made between 1936-1956.
A forum community dedicated to watch owners and enthusiasts. Come join the discussion about watch collections, displays, watch winders, accessories, classifieds, and more! We welcome all manufacturers including Casio G-Shock, OMEGA, Rolex, Breitling, Rolex and Tudor, Seiko, Grand Seiko and others.