Update
Updating database... Please wait.
Tuesday 15 May 2018 at 08:19
Wozecle $6500, then RRWoz 2.0 $9500... may have been closer to 10k shipped but still happy to have it!
Source: http://pinside.com/pinball/forum/topic/what%e2%80%99s-the-most-expensive-pin-you%e2%80%99ve-ever-purchased/page/3#post-4398572