I just remembered a tool that might work, although it has the disadvantage of being a transfer tool, ie you take the measurement with one tool and measure that with another. Going to be somewhat finess sensitive, IE two users might get different results depending on touch. (Kind of like when I try to shoot like Jerry M., I go through the same process and get somewhat different results.)
Transfer Instruments - 6: Small Hole Gages
Excellent illustration and explanation above.
You would need a pair of digital or vernier mics to determine the final size, but 1" mics are not that expensive, even ones good to .0001.
Not recommending that brand, I know nothing about them, they popped up when I googled the tool. I'm a Starrett and Mitutoya user whenever possible.