Well, I put this off long enough that new tech gave me a simpler solution: I attached a Chromecast audio device to my stereo receiver, uploaded all my music to Google Music, and now I can say, "Hey Google, play Satisfaction" and it plays! Voila! Plus anywhere I have web access, I have access...