It seems Wikipedia has the dollar amount some high-profile domains sold for: https://en.wikipedia.org/wiki/List_of_most_expensive_domain_names https://en.wikip

It seems Wikipedia has the dollar amount some high-profile domains sold for: https://en.wikipedia.org/wiki/List_of_most_expensive_domain_names https://en.wikipedia.org/wiki/List_of_most_expensive_domain_... Do we know how much pe.com sold for?