I read some more posts.
Apparently, just ONE name is randomly chosen by computer.
Perhaps to save time (LOL!)?
Another post said the rules for evicting a passenger are explicitly codified by the Department of Transportation.
It wasn’t just one. A couple was “asked” and they complied.
That might explain it. Without those codified rules, an airline employee could have just asked for volunteers and picked one.
Far too easy and practical.