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..