Constraint to generate an array of random numbers where a certain value is repeated fixed number of times

In reply to dave_59:

Got it, Dave. Thanks, as always :)