I'm considering buying a portable mp3 player that I could also use to play music through my home receiver. My Harmon Kardon DPR 1001 supports mp3 format, so I am hoping to find a player that would connect straight to a digital coax/audio input. Thanks in advance for any suggestions.