Portable CD Player with Digital out

Doing some travelling this summer and will be spending some time in hotels. I was thinking of getting a Discman with a digital out and hooking it up to an old EAD DAC, a good headphone amp and some Senn's. Does anybody have some ideas about this or some recommendations based on personal experience with this situation.

Thanks