Does Reynolds list dimensional tolerances anywhere? I assume the bulk of their sales go to people that really don't want the thickness to be too small, so they probably aim for tubes that are a little thicker than nominal.
But I totally missed the 9/6/9 tubes, maybe I need to measure my tubes that seem so heavy. Columbus always impressed me as having better control over their dimensions than Reynolds back in the '70s, but that isn't the same Reynolds as exists today. It is, however, the same Columbus.
A telescoping hole gauge isn't expensive, it's probably a better measurement tool for the ends.