Well, There is a thread on pinside where a pinsider relayed sage advice he received from a seller claiming that he had been working on pins for 35 years. It describes in detail the nature of the repair. Perhaps this will have some value for you.
Quoted from dankme:Cool stories...
My favorite is when I went to look at a Whitewater. I played a test game and noticed the right flipper was a little sluggish and I pointed it out. Then the guy says to me oh it does that sometimes and proceeded to take the glass off, lift the playfield and literally soak the flipper assembly with WD40. It was dripping everywhere.
I politely asked him if you are supposed to do that? I could tell it was sprayed may times looking at the gunk build up everywhere. And he says to me, "Son I have been working on games for 35 years, I know how to fix them." I bit my tongue!