Generally speaking - I never use lube on pinballs - except stepper unit shafts on EMs.
I don't believe that there was any lube originally - from factory.
with the ball kick assy - Just clean the shaft with nifti and scotchbrite pad, and the hole with a rag draped over a small screwdriver.
There's nothing wrong with lube, I just don't use it..