Yeah I basically just repeated what we'd decided.

Random.org is an RNG, you may use it as an option.