I would add the Ayre Acoustics Codex to your list. It’s $1,995 new and has both USB and optical inputs. It’s somewhat comparable to the Benchmark in that it’s very neutral sounding and highly resolving, but unlike some solid state gear not edgy or overly bright. It’s something to which you can listen for hours given its clear, smooth sound. Also Ayre provides great support for their products. If you can audition the gear you are considering you will hopefully find one you like best.
Happy listening!