I'm looking to buy a dedicated CD player for use with my new receiver, I only search it in www.ebay.com and www.sourcinggate.com. .I only need it to have digital output, not any inbuilt DAC/RCA-out functionality. I'd prefer the CD player to be quite small (at least in height), so that it perches on top of the receiver.
Does such a CD player exist? I've looked about, but most of the main companies seem to sell high-end CD players with digital output as an extra to high quality RCA output, which I don't need, and which I suspect add a great deal of bulk to the device.
Any recommendations would be appeciated, and I'm happy to look at older hardware, including stuff available only second-hand.