So how can I pick a random member of that sequence of
files-available-to-be-referenced each time the template matches and I
need to replace the value of @href with that arbitrary actual file
reference?

You could also try
  random-number-generator(generate-id())?number