It's a cool name.
Nobody NEEDS it. So if you price it above $5k, they'll probably pick something cheaper. After all, they'll have plenty of options.
You really can't predict whether it will ever sell at retail prices to an end user. But if it did, then you could reasonably charge between $1k and $5k for it. Startups will most often have budgets to fit such a domain purchase.
The chances of selling the domain at wholesale prices to a domainer are better. A domainer who is also a graphic designer looking to launch his own branded site might be willing to pay $500 to $1500. Domainers tend to be cheap when choosing brandable domains for their own projects because most of us think we can go out tomorrow and make up something for $10. Even if our baby is ugly, we'll enter it into the beauty contest because it's ours.
This domain is probably too good to drop. You should be able to sell above $10 even in a worst-case scenario.