Not for me but for my dad. He has a giant vinyl collection from his teenage years at his country cabin in Vermont.
I hooked a raspberry pi zero up to it about 7-8 years ago, and streamed the audio to a custom app on an iPhone, so he could play a record and listen to it anywhere in the house or even outside while cutting wood.
The hard part was making a nice vector animation of a record player that animated based on the state of the playback.