Play multiple audio files? Polyphony?

You can have one Arduino command several MP3 modules via serial commands and have each module playback a different file from its SD card:

Mix the outputs into an analog mixer, can be as simple as having outputs combined thru 10K resistors into a Computer speaker, see this schematic: