Wow, what a great find! Thing looks like it was absolutely well cared for. I wish the owner of the pin I just bought knew the owners of your Superman so they could've knocked some sense into my seller about routine maintenance and cleaning!
When I take my son to the local arcade, he has to play the 1990s Simpsons arcade game, and because I try to be in an immediate radius, I find myself either playing Laser Ball or Superman as Simpsons arcade game is an end cap game to those rows of pins. After a few rounds on each, Laser Ball rarely sees my quarters anymore as I have a lot more fun playing Superman.
Enjoy that beaut!