It's a fair price but is $6500 a crazy good price for a HUO WOZ Standard? (i.e. a "put it on your credit card even though you'd be fine waiting a year" price)? I don't follow pricing on these closely but I would have thought $6500 is about right, but not a fire sale.

(by way of comparison, here's a HUO Standard with hundreds of dollars in mods that was listed last year at $6900 OBO, not clear what the final sale price was but you could PM the seller to ask: https://pinside.com/pinball/forum/topic/for-sale-wizard-of-oz)

OP has to also consider whether WOZes pop up in his neighborhood much (if not there's shipping cost to consider), and then whether he thinks prices will rise or fall over the next year. My wild speculation is that prices on $5k+ HUO games in general will decline slightly due to all the great new - and expensive - pins coming out these days.

Heartbreaking! I assume they bought the game and then decided it wasn't for them, or ran into money trouble, but it's sad to imagine buying a NIB pin and only putting three hours on it.

Now that sounds like a good deal!