Well, we found one way around the problem.

By choosing the By Genre option, saying "all genres," and then hitting the Random button, the Receiver jumps around through all 4,502 tracks.

Cool.

I guess its UI had trouble rendering the entire track list with 4,502 entries, but the Genre list is of course much shorter.