Ask HN: What is the most you've sold your domain name for?

Inspired by this thread https://news.ycombinator.com/item?id=9003510

Would be interesting to hear the other half's story as well.