Hi Peteski,
At 35 thousand rpm, oil will sling off.
so one starts looking at various grease options..... and they eat power.
I have some red thunder-jet oil/grease (It is thick for an oil and thin for a grease)
This stuff definitely stays on the driven gear and so the pinion gets lubed.
it may well be on the pinion, and if it is there, it is hard to see.
the request was for a bit of magic that didn't eat power.
it occurs to me that an oil bath could solve the problem.
and such dreams lead to improvements...
victor