IMO, the best DAC for the CEC TL-51XR is the Lessloss DAC 2004. The benefit is that the TL-51XR used as a transport can be slaved to the DAC (via a clock cable that can be purchased). This is the set-up I run. As for the cost, the Lessloss is expensive (Euro $2995 new) and they rarely come up used.
On your list I'd go with the Ayre. Another option in the same ball park price wise would be a Resolution Audio Opus 21.
On your list I'd go with the Ayre. Another option in the same ball park price wise would be a Resolution Audio Opus 21.