Ask HN: Advice for selling a tech domain name

The domain name is evaluated as over $10k by Gemini, so I don't want to blow it. And I never done that.