Man, people are picky today. This isn't a public webapp, this is a spreadsheet that is controlled by a trusted party. Yeah, it isn't the state-of-the-art RNG,

Man, people are picky today. This isn't a public webapp, this is a spreadsheet that is controlled by a trusted party. Yeah, it isn't the state-of-the-art RNG, but given that it is only picking 10000 numbers, I would say it doesn't need to be all that good.