Empyrean Headphones/Sennheiser HDVD 800 + 'what DAC'?

I didn't think the HDVD had a DAC but it looks like (from looking online) that perhaps it does??  Anyone know for sure?  If so, then do I just hook it up to my Macbook and use Tidal or Roon for music streaming?

Portability is nice but not necessary- the setup will stay in my office or garage mostly.  A DAC that goes nicely with this would be good.  

Just hook up the MacBook Pro to the USB on the back of the DAC section of the amp. It is not the best way to go buy for a garage that would be OK. For my office I use much better streaming approaches and do not let the computer touch the DAC section.

With Sennheiser’s HDVD 800, sound is perfect. The HDVD 800 is able to connect with digital sources and is equipped with a high-quality Burr-Brown digital/analog converter (DAC) that converts digital audio data into analog signals with a resolution of 24 bits and a sampling rate of up to 192 kHz. This enables the HDVD 800 to transmit the entire frequency spectrum of high-end audio sources without any loss of frequencies.

In addition to the symmetrical inputs, the HDVD 800 also has an asymmetrical input socket; incoming signals are symmetrized before further processing takes place. Digital sources can be connected to the rear of the unit via an XLR (AES/EBU) input, optical and coaxial (S/PDIF) digital inputs or USB. All digital inputs accept signals up to 24 bit at 192 KHz*. Designed and manufactured in Germany, this high-end, solid-state amplifier harmonize perfectly and deliver an ultimate acoustic performance when paired with any of Sennheiser’s audiophile headphones.

@labelman 

Yes - the HDVD 800 includes a DAC. I'd have a listen to that first before making any changes. After all, it was designed to work with Sennheiser headphones.

Thanks guys.  I'm thinking I need to get a DAC/headphone amp that better matches the Empyrean headphones.  I see one suggestion above but 'new' the DAC is $2K.  Looking for headphone/amp/DAC (ideally all in one, ideally small) that is $2,500K or less all-in.  Thoughts?  Ideas?

I'm thinking I need to get a DAC/headphone amp that better matches the Empyrean headphones.

Again I must ask the key question, what improvements are you looking for and what sound characteristics are most important to you?  Without this critical info it’s impossible to make a meaningful recommendation.