I use my “fav” playlist a good amount, and would really appreciate being able to randomize the playback.

(I don’t have an option to download and randomize through iTunes/Windows Media Player - we have a fairly locked down desktop where I work, so browser playback is my only way).

that’s a great idea, I’ll see what’s involved - probably a query parameter ;)

was just about to suggest the same thing!