O-ring for idle speed boost shaft, replacing

WARNING: This page is about a different car, the 1996 Volkswagen Jetta. However, it is still accessible from the selected car via links, so may be relevant.

NOTE: The numbered items in the procedure that follows refer to Figure in DIESEL INJECTION PUMP, SERVICING .

Remove pump cover, see THROTTLE LEVER BUSHING IN PUMP COVER, PUMP COVER GASKET AND O-RING FOR THROTTLE LEVER SHAFT, REPLACING (without replacing throttle lever bushing).
Loosen nut -19 - for securing throttle lever shaft - 20 - and remove lever. See Figure .
Press idle speed boost shaft -7- back, and replace O-ring -23 -. See Figure .
Install pump cover, see THROTTLE LEVER BUSHING IN PUMP COVER, PUMP COVER GASKET AND O-RING FOR THROTTLE LEVER SHAFT, REPLACING .