I believe that was one of the tests that I ran, yes. It was a long time ago. Obviously the results are not numerically identical when different RNGs are used but they converge as the number of iterations is increased. That said, I think you are right that the RNG could be improved, even if it doesn't affect the results right now.