At first I didn't understand which oil seal we are talking about. I just saw this o-ring , not the standard shape one wold expect of an oil seal and def no spring.
and then looking more closely...there it is...embedded in the pump itself and no indication on any of the docs (service manual, parts list etc) what size it's supposed to be because after what I've read from you lot, only a fool wouldn't replace this potentially 35 year old seal, but it would also be a foolish to replace it with something that wasn't within the exact specs, no room for bodgery here. Thank you sami1 for the 9 x 16 x 4 mm dimensions and this has been ordered.
not perfect but looking better on the outside
