In the same BSA workshop manual, I found three references to gearbox oil; 40 wt, 50 wt, and 20W/50 multigrade. No wonder it's a subject of some debate. I used straight 50W in my A10 for years, and during a recent rebuild I did notice a bit of scoring on the output end of the main shaft. I now run Lucas 80-90 gear oil which I feel has superior antiwear, anticorrosion, and antifoam properties. It shifts just as smoothly as it ever did.