When you have to talk about what to use to 'just make it work', the repair is already a failure...
Best thing is NOT to just hose something.in lubricant to make it work for now, unfortunately.
Really, it needs to be taken apart, find new grommets, and carefully cleaned. If the labels are super delicate and you are trying to keep them intact, then obviously carefully wipe them down.
Removing and cleaning inside each of the sleeves and each plunger thoroughly is worth doing. I agree with Ken on mean green to clean off is good. Isopropyl may work, but will probably worsen grommets and may take ink/label off.
The standard of not using ANY lurbicant inside sleeves is true for plastic (nylon) type sleeves. When you are dealing with original metal sleeves, there is probably plenty of controversy as to what to do/use. Personally, I just use a small amount of my go to preference - Teflon Super Lube Gel and call it a day.
I personally do not agree with using dry lubes, moly, wd, graphite, etc. Etc......but that is a topic already debated a million times over in other threads.
I've spent last several weeks scrubbing on an old 40s machine full of graphite/dry lube. WHAT...A...MESS. And the years of the stuff were so caked rock hard into everything that it was like chisle time to remove it.
Best wishes on the repair.
It's awesome to see people still willing to put the time, care, and effort into these old games!!