One without the bracelet went for 4.4k (5k after fees) on watchcollecting a while back so I'd say this is priced to market.
I am hoping for another to come up in blue though I suspect that'll go...