I was thinking of about 900-1300$. I do not mind mono outputs and I think big stereo integration would become a bit expensive, but a stereo mixer as crossed my mind to be honest. And primarily as a random voltage source with a quantizer, although a sequencer with a trigger also might be an option (The pico ones).
Thank you in advance by the way!