Well, to me it was 'better than new' given what he had done with it. Definitely a collector's item.
But that is a lot of dollars for a pinball machine. The problem would be you would be scared to play it in case you devalued your investment!
Last I heard re Finny he was cleaning up the smoke-damaged pins, the electricity was being put back on at the premises and he was looking to open some time this half of the year. And raising some cash by selling a nicely done up pinball machine.