one more piece of info for Abene owners

the oil seals on the gearbox are 17-35-10 (those dimensions in mm are ID,
OD, Width)

this seal is hard to find - I did find an oil pump seal that is 17-30-7 that
local autoparts stores carry - it's a directional seal, which is not what I
prefer, but given that most of the time you are not using rapids, it should
be OK The seal is ELRING 483.150, replaces OE 15165-70010 - I have no idea
what car(s) that fits, but .....

hope this helps someone - if you have an Abene mill, write this down
somewhere