The plot thickens
seller tells me that the USNO number etched on the arc is actually 4017, not 4717, and he didn't find the Brandis number on the arc. I've tried to direct him to where he can find the Brandis number, so hopefully he will see it and report what it is. I've asked him to provide photos of the numbers, and check the old label on the box. Box does have what looks to me to be 4717 stenciled near the hinge, but the second digit is a bit fuzzy.
So, we may actually get two pairs of numbers out of this set - 1982 and 4717, and xxxx with 4017.
Stay tuned.
amck