気付きました。

曲リストが1000曲以上ないと、全ての曲が再生済みになって選曲できなくなりますね。

もしリストが1010曲とかだったら、残りの10曲をランダムに引き当てるのに何回の計算処理を繰り返すのだろう？

と言うことで、現在の処理は再考が必要です。