Yep. Mostly relying on an in-place shuffle (and fancy-index assignment) in batch being faster than a Python loop querying the RNG sequentially.