I’ve uploaded the list of names of all participants at RANDOM.ORG’s list randomizer, and let the software pick our winner.