Congrats on the purchase. I know the feeling when you buy the actual pinball you played in your youth. Money is NO object when sourcing that "Holy Grail"
pinball. As long as you finally own it, how much it cost you, should not matter.
Looking forward to the restore !