Can't remember the name now...but on the main strip in the old town there's a Rolex authorized dealer - a major store, authorized dealer of most of the big watch brands - who occasionally
deals vintage pieces. Years ago I bought several good vintage pieces, including a nice ROC panda Newman on 6263.