Sounds right to me. Not sure the 0.1mm / .0025" difference makes a lot of difference ... at least not to me ... I miss by a lot more than thatThey sneaked in a ball size change on us....it was officially 2.1/16 “ for most of my life.
....now it’s 2.1/15 “....probably it jives with Aramith’s metric machining.

Dave <-- has played 9 ball on a 9' pool table with Russian balls .... couldn't make a ball then either