They normally use formal RNGs checked out of the separate laboratories to have fair outcomes