Quoted from Geekdude:What cleaner and wax would be recommended to use on this age of a machine. I'm assuming that most of the discoloring is part of the game now
Your're doing pretty well with that.
Lots of info here:
https://pinside.com/pinball/forum/topic/cleaning-and-waxing-pinball-machines-vids-guide