Nice, if you really must have a terminal based music player. Good for servers? I don't see why you need raw speed in a music player, and other players can handle 6000 songs. Not mentioned in the man page is that this needs mpg321 and ogg123 in order to play anything.
Quite nice? This simple program IS the best for speed! I've used it every day since I discovered it. I have over 6000 songs on one drive, and Randomplay loads VERY quickly & starts playing them ALL at ramdom =)