Stereo receiver which port to use for external player