Looking at sales of other domains I don’t think 10M is insane for the right buyer.
https://en.wikipedia.org/wiki/List_of_most_expensive_domain_..., Beer.com sold for 7M in 2004.
https://en.wikipedia.org/wiki/List_of_most_expensive_domain_..., Beer.com sold for 7M in 2004.