It was a gasket kit from CJ Pony. No instructions. I do have the Service Manual, but does go into this detail. And yes, I have gone the Google route.
Yup, have that one. That is where the bigger 'tube' goes through. The o-ring goes on the 'inner' shaft; around it and within the bigger...