A HUO spiderman sold on the gold coast recently for $4600. It was in excellent condition.
Another SM sold for $5000 to a collector who really wanted it from interstate. I was asked to go look at one for 2 different buyers.
Prices of 2nd hand sterns have come down since new Sterns can be had for $5950 with 6 months warranty.
I've never seen any SM go for those prices. Sounds like a great deal.
ETA...If the seller still has the IM for sale i'd be interested. My NIB is badged Austria.