Correct, the additive could affect the gearbox, and never ever use one with a PTFE (Teflon) additive, as it partly decomposes, possibly to to hydrofluoric acid, and makes the metalling peel off the bearing shells. In my case the acid completely ruined the engine, and left the inside of the gearbox bright and clean as if it was brand new. I don't know if they still sell that stuff.
If you look around the Miller's web site, you will find an oil which is optimised for the Mini. They are one of the most reputable but fairly small lubricant suppliers. I would not bother in a very old engine which will soon need a rebuild, but once it is in excellent order again, a very good oil will help to keep it that way for a very long time.
PTFE alias Teflon is a VERY nasty compound and a banned substance in many industries, particularly the tobacco industry. It degrades to phosgene gas at a relatively low temperature - phosgene will give you black curly teeth and long blonde shoes.
Edited by Captain Mainwaring, 26 June 2013 - 09:35 AM.