Ok, I have got the dial gauge out, put it on the crank pulley and set it to zero.
If I lever the pulley forward or get the clutch pressed I am only seeing it move about 0.02mm (maybe 1 thou, I think)
However, if I push the pulley hard rearwards it moves about 0.13mm (about 5 thou) and then springs back to exactly where it was when the pressure is released.
So overall, the crank can move about 6 thou, although not in the way I was expecting.
Is this ok?