While looking on another site, I found a model 42 owner who says that the original full choke for the model 42 is .020.
I'm not sure how He knows this, but it fits in with what I found on my own gun.
I'll bet that a lot of these chokes were altered over time.
Pete