You found the Holy Grail of EM pinball machines. Not working with poor cosmetics it probably would still fetch at least 4K. The Cosmetic aspect is the most important and it looks like yours is very nice. I would say $7K-$9K in our COVID world.
Mike V