If you don't need USB input or a preamp, the $995 Benchmark DAC1 would be your best option from Benchmark. Of the ones you listed, I would choose it (or the Lavry DACs) over the others, as the Benchmark has been thoroughly tested for performance and their manual is very clear about that. The others all claim similar performance, and probably achieve it, but don't back it up.
Or you could save even more money and get a $500 Yulong D100 or $700 Matrix Quattro, both Chinese-made amps and DACs based on the same design but with some extra features and (perhaps) cheaper components. Should perform the same, maybe slightly worse, and sound the same.