You can pick up a PS Audio DirectStream Digital MkI DAC used for around $1,200, add a PS Audio AirLens and be under $3,000. Check TMR Audio for PS Audio AirLens. They had a few preowned units.
I owned a Qutest and PS Audio DSD DAC and am familiar with both DACs. PS Audio is a better unit.
Downside - with AirLens you will need to subscribe to Roon and install Roon core. Another option with AirLens would be Mconnect app (free for iPhone but like $6 for iPad) but the interface and functionality are nothing to write home about.
As to Auralic, I heard the S1 with power supply and it was not bad. It was not a long session and within the context of an unfamiliar system. So take it for what it’s worth.