I'm putting together a small system for my lad, he's a spotify listener, is there an alternative to using a long cable from his phone or laptop? At sensible money preferably. I have an RPi I can give him but I seriously doubt he can be bothered setting up a server etc but he could well live with something off a high-capacity thumb drive, say - fine for files but don't think that does spotify?

I'm probably also going to be looking for a headphone amp for him to take the output from this source (and possibly also a TT) but that's another discussion, I have an old Marantz amp kicking around with a phono stage that should do him for headphones in the short term - not looking to spend a lot of cash in case it's a 5 minute wonder for him.