Looks like it works to set 'setseed N' in .spiceinit Thanks!
.spiceinit does not allow setting random seed
Manual Section 18.1 incorrectly states rndseed is 1 on startup, but is actually process ID
A function's formal argument is replaced by a global random parameter of the same name, or a temperature-dependent .param of the same name