A $9500 retheme is a horrible idea. It needs to be an original layout to draw more sales. The pricing is still a problem with pricing people out that just can't value a pinball machine that high on entertainment value and on principle.
The classic Wonka theme would be great though.