Socket for height adjustment screw on the repman 3.1. Allows it to be tweaked by hand, without a spanner.
Recommended to add a drop of glue. Then push on - should click in place.