Quoted from Luke_Nukem:Someone actually paid $8000 for one of these?
Maybe he's referring to this mint HUO one (listed for $8,000 but not clear what the final deal actually was).
https://pinside.com/pinball/forum/topic/fsft-1993-williams-indiana-jones-huo