I have got mine around 4400 USD in near new condition with full set, but as I said it was a really lucky find, where the selling collector needed the money to buy a Starbucks from the Boutique (Yes, lucky guy
😁), so he really didn't care about extra 500-1000 USD that he will get by waiting. But realistically I think you may find one in good condition, full set around 5300 - 5500 USD range. Also, keep in mind that you may still find them in the boutiques as they are still not fully sold-out and since it has been a while now since they are introduced, you have a good position to negotiate with them...
Also, note that there is another 39mm Glassbox Carrera coming up tomorrow. 500 pieces limited with an absolutely remarkable teal dial. I feel this will be sold out quite quickly as it is a gorgeous piece. This one may be a good option for you to go with your Ice King
😁