One could assume that the percentage of unreported sales does not change radically from year to year so that one could draw some conclusions based on reported sales versus an estimate of aftermarket domains by extension. However, none of my 2019 domain sales sold via Afternic appear in Namebio - all .Com varying from mid-$Xxx to low $xxxx (most years there are more low $xxx sales but strangely I had none in 2019). Seeing only a couple hundred reported .TV sales for the entire year (across probably at least a thousand times that many aftermarket domains) seems to be consistent with with what I have seen from .TV over the last decade. I did have an end user .TV inquiry late in the year (run a business on the equivalent .Com) but their offer was mid-$xxx on a 2007 registration.