Mike thanked random.org for the data. It's exactly what they are doing.