mp3-random A script that will randomly copy some mp3 files from a storage location to a directory for loading onto a mobile device.