If you do not need preamp functionality then a used Lumin X1 around $6-7k is what I would choose (owned it before). The LeedH volume control is great. Normally volume control on a DAC is bad at low volume. The Lumin is ALMOST perfect in this regard.
If you need preamp then the Lumin P1 is likely what I would choose based on the fibre streaming ability of the Lumin. It is better than the streamers in your other choices.
If you use ROON for streaming and use fibre then your dealers comments about "benchmark" is meaningless to mean. Especially, using fibre. If you are not aware getting setup with fibre can be very low cost if you have Ethernet near your stereo. If not using a PowerLine adapter to get ethernet to you stereo is super cheap.
People will say this is nuts but the key is the use of FIBRE. Fibre is made of glass and cannot carry analog noise into the DAC. That is why the Lumin is the one of my fav streamers, along with Sonore and PlayBack Designs.