I spent around $4K, and got 24 names, I will try to make a list a bit later, I would have spent more, but I only wanted to buy the ones that had value potential, after spending $5-10K on a single domain you can be sitting on dead money for a while, and there are more lowballers then ever these days, I must have got a dozen random inquiries at sedo last week all $90-100, disgusting, I don't even bother responding anymore.
I saw a one time chance to kind of cherry pick a dropping portfolio, of older blockchain domains, I believe in the technology, and that is why I invested a bit.