Trade.io sold for $75,000 recently. The same domain reportedly sold for $88,000 five years ago.

That's $13K less. For those who deal with domains regularly, does this look like a change in .io demand, or just normal variation between two deals?