No, PornMasta; instead, I personally hand-registered them as "I-thought-them-up" at an average cost of about $8.65 via Godaddy. I've had renewal expenses along the way, but have sold many at an average price of approx $2,000 to $2,250. And, as of yesterday, another purchase was made, this one for a little over $1,900.
At one time, I had a total of 16,024 domains; by purposely letting many of my adult domains expire, I am now down to 2050 domains which are concentrated mostly around cloud/gambling/china/GEO/vacation/business/etc domains, with my main holdings in my 500-600 domains related to "cloud".
[email protected]