16 channel audio output was needed, so options were an expensive soundcard or 16 mp3 players.
The solution is a RaspberryPI with two cheap but effective soundcards attached.
Running on a custom software platform it boots in a second and starts playing the sounds almost immediately.