If this player has true random playing of your songs, instant sell for me. Also, a mobile version would be great, even if I have to do a manual install.

Spotify's "random shuffle" has been broken for years, with a long running thread [1] complaining about it. A lot of the commenters think there is some kind of "artist priority" playing algorithm, with some kind of maximum profit goal or something. But I think it's simpler - if Spotify just plays the same ~20 songs, they save a lot on bandwidth as it can just play from a local store. Who knows the real reason, I just know that it's annoying when I have a 2000+ song playlist and only hear a small percentage of it.

And yes I'm aware last year Spotify announced "fewer repeats" shuffle - but it doesn't work, or isn't sufficient anyway.

[1] https://community.spotify.com/t5/Implemented-Ideas/All-Platf...