I have definitely never found a vintage file around here that wasn't used to death. nearly 700k hand cut files is unreal, but even at that, I'll bet they were really expensive and used long after we'd throw ours out now. Most of the older files I've seen around here (that probably were used in tool and die shops, or jobber shops) are so worn out they barely even abrade wood.