Imo these are not investment grade names
There is no coming back for them for long time, except, maybe, the best 50k of them out of 1 million.
Even with 4 excluded there are around 500k of those and plenty have a number repeating somewhere or something else "special" about them.
500k * $8.5 = $4.25 million.
With the exceptional ones removed, still around 3.8 million paid annually for their renewals.
Even if 1% would sell annually at 400$ average, that would mean only 1.8$ million in sales or 2$ million in losses or domain investor sponsorship of registrars and verisign.