proper stuff in now and measured to 250 ml cheers as always fellasgear box oil
have always used any cheap car engine oil ( 20/50 ,10/40 , think i have 15/40 in at the moment) same as all my friends never had any trouble with gearbox or clutch . and if you use cheap oil, change it more regularly the gearbox gets the crap flushed out.