Father In Law found this Walkman WM-F10 he wants to give me, said it doesn't work, anyone in the Houston Texas area know who/where I can get it repaired? : r/walkman