coocoo.com is an example of a domain name purchased at a premium and not renewed?

coocoo.com was purchased for $16,000 on Sedo in 2010 but it appears the domain was not renewed and auctioned on NameJet for $6,339.

DomainPriceDateVenue
notizie.com45,000 USD2021-07-29Digi22.com
coocoo.com6,339 USD2021-07-29NameJet
simplebrokers.com4,999 USD2021-07-29NamePull.com
piratecash.com4,999 USD2021-07-29NamePull.com
communitypublications.com4,688 USD2021-07-29BuyDomains
holgadirect.com4,550 USD2021-07-29GoDaddy
rugbyonline.com4,088 USD2021-07-29BuyDomains
piratemoney.com3,999 USD2021-07-29NamePull.com
honestrentals.com3,488 USD2021-07-29BuyDomains
heuro.com3,400 USD2021-07-29GoDaddy
We offer .COM Cheap domain registration, cheap domain transfers & renewals service and full top level domains and Country Code Domains with cheap domains sales.
Note: Please keep in mind that these are .COM Top Domain Sales report for 07/29/2021 that have been reported today 07/30/2021. It is not a complete list documenting ALL high value