They normally use official RNGs checked out from the separate labs for reasonable outcomes