Two-letter domain name (pe.com) apparently sold

It seems Wikipedia has the dollar amount some high-profile domains sold for:

https://en.wikipedia.org/wiki/List_of_most_expensive_domain_...

Do we know how much pe.com sold for?