Hi Ferenc
Good point with the precision issue...

Do you know of any good off-the-shelf laser distance measuring sensor
which has a sufficient resolution for determining the exact distance
(with an acceptable tolerance), so that we can do the fine adjustment?