Is HugeDomains dropping some domains?

Looking for some names I've found interesting domains available to hand reg which the previous recent owner was HugeDomains. Apparently, they acquired the domains through DropCatch or GD closeouts.

Does anybody know if HugeDomains sometimes drops some of their names?