Your right about that doc.. buy a couple of them as they are really cheap. Also look at no.39, the bush, as this can get corroded, grimed up etc.. If it was me, i would just get all 3 parts, the o-ring, bush and seal and no.42 washer, and do it as a proper job but the bush may be hard to get.
Cheers,
Alex