I have been brokering names for many years, not at the level that a Rosener or Evanson does, but for some clients that I have known for many years.

One such client just deals in .tv and I have brokered some names for him in the $10k to $20k range. Most of these transaction were me also knowing someone on the buy side and it was an easy match.
https://tldinvestors.com/2021/02/tv-domain-name-sale.html