What is the light spot size of the OD7000s sensor heads?

The light spot size of the OD7000 is not documented explicit in the OD7000s data sheet.

However there is a direct relation between the definition of the "light spot diameter" and the "lateral resolution" (that is documented in the OD7000s datasheet).
The formula to calculate the light spot diameter is:

Light spot diameter = 2 * lateral resolution

The measurement process to define the light spot size is described as following:

The signal intensity of the reflected beam is recorded when traversing the edges of a transparent and an adjacent highly reflecting material. The diameter is then defined as the distance between the 5% value and the 95% value of the light intensity.