We beat this topic up a few months ago: https://pinside.com/pinball/forum/topic/the-top-10-most-expensive-pinball-machines-in-the-world
The artist pin the previous poster references is in that thread. Google Punball: https://worthly.com/most-expensive/pinball-machine-punball/