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

I used the Empy (a warm headphone) with a Benchmark HPA4 preamp/headphone amp and a Benchmark DAC3B. It was a great combo since the neutral Benchmark gear matched the warm Empy. A used Benchmark DAC2 maybe available for under $1000. It sounds the same as my latest DAC3B (I had both before).

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?