So I bought a Williams Whirlwind pinball that has been sat up for 10 years.
I've made a few small repairs to the electrics, changed the batteries, etc and all is sound.
I've bought a service kit which includes all new bulbs, rubbers rings, flipper rubbers, post sleeves, etc.
I've the play field...