arduino-elevator-music
Plays a random mp3 player with a magnetic door sensor: https://www.sparkfun.com/products/13247
Depends on this library for the mp3 maker shield: https://learn.adafruit.com/adafruit-vs1053-mp3-aac-ogg-midi-wav-play-and-record-codec-tutorial/software
mp3's need to be labeled 1.mp3 - xxx.mp3. They also need to be small so the can play without delay: https://forums.adafruit.com/viewtopic.php?f=31&t=95084