Measurement of window thickness were performed at 10 different positions. The mean thickness is 9.883mm with spread sigma=0.0054mm.

Here is an image with scetch of the positions, where the window was measured and the table of corresponding numbers.
Measurement Thickness (mm) Position (mm)
1 9.8791 x=-0.1892
2 9.8791 x=5.7188
3 9.8828 x=15.9302
4 9.8801 x=-7.8488
5 9.8906 x=-22.3104
6 9.8780 -
7 9.8790 -
8 9.8792 -
9 9.8877 -
10 9.8939 -