Used DACs in the 10k range


I currently have a denafrips terminator and I definitely enjoy it in my system but I haven't compared many dacs (only other dac I heard in my system was the one in the HDV 820 when I was using my headphones). I was impressed with the rave reviews and bought it straight up but now I am wondering if its worth upgrading or not.
I am looking to spend around 10k ish for a used DAC that would be significantly  better than the Terminator.

Any suggestions?
Also any thoughts on the terminator itself. It has lots of positive reviews from outlets like audiobacon and darko, 6 mooons etc but it has very harsh criticism from places like SBAF. Would appreciate your thoughts.
My system: PC -> Roon -> Sotm sms 200 ultra (with sps500) -> audio sensibility signature usb cable -> sotm dx usb -> ss d110 aes cable -> terminator -> kimber cables xlr -> He9 -> yyw hifi xlr -> 4bsst dual bryston monoblocks -> qed xt 40 speaker cables -> paradigm signature s8 v2 + dual PSA V1800s [v1800s via svs soundpath rcas]
smodtactical
CK out the PS Audio Direct Stream DAC.  It is really a pretty amazing kit. It has a field gate array that can be programmed with updates.  I think you can do a 30 day trial.
Stahl-tek Opus Prime - a $40K DAC made in the US that's way better than ANYTHING mentioned above . . . buy it in mint condition for less than $8k