Slightly hokey way to pass RandomSeed