You'd probably be good with a relatively inexpensive interface with RCA in. I think behringer or IK multimedia make some stuff like this.
Really just depends on what kind of output your player has and how much you want to spend/what kind of quality you're looking for.
https://image.nostr.build/1b...