Clutch pedal pin(s)

I know there is a pin that goes through the end of the lower shaft (in the red box).

But I am wondering if there is also a pin that goes through the middle of the spacer and trunnion at the top of the clutch pedal (inside the blue boxes). My pedal is covered in paint on the outside so it’s not clear, but on the inside there is a slot that runs around the centre. There is no sign of a pin on the parts diagram.
I am wondering if i have the remains of a pin in my pedal, which i need to drill out if a pin is needed.

No pics, gone awol.

tottot said:

No pics, gone awol.

Click to expand...

sorry, forgot to add the important bit. see below.

No pin I recon.

No pin in blue box.
Red box uses a pin in some earlier Series 2 models.
If you're disassembling them, you can remove the 7/16 hex bolt and screw in a grease nipple.
Makes a difference...