I want #2 but most players do not do this. Both Amazon Music and Google Play fail although Amazon does a better job at giving me #2. Sometimes it will give me a different random order but sometimes it gives me the same order as it did last time I asked it to shuffle the playlist. To get it to resent the random shuffle I have to manually close down Amazon Music and restart it. Then it resets the shuffle.