I have a friend who is looking to play MIDI and other music files on Linux - he is using Fedora. Any suggestions for free players, with sites where they may be found?

Thanks.