A friend that is a quite a collector of 42's said .017 was typical. Given that production spanned a few decades, I can see it varying. As a baseline for those that may not have perspective of what a few thousandths of an inch is, .003" is about a hair on the average person.