I see you are sorted. But in case others are reading, there are two European DACs worth thinking about, both north of $10k though:
1. the CAD 1543 mkII is an incredible R2R DAC with no streamer. In fact it is beautifully stripped down with a in-house designed internal power supply and mains cable, USB input only, RCA output only. Scott Berry, the engineer, sources the old Philips 1543 DAC chips and builds this pure no-compromise DAC by hand in Cambridge in England. It sounds incredible, the most analogue-sounding DAC I have heard.
2. Also the Vitus SD-025 is another DAC-only sublime sounding DAC, hand made in Denmark. Hans Ole Vitus used his high-end turntable to fine-tune and voice this DAC.