There was a $10k sale in 2017 on Uniregistry. There was just a 'registered' page for several years after that, before an Afternic for sale page.
$10k is a reasonable price, maybe a little more end user than domainer. The lets should really be let's (let us), which takes away a little from the value.