Looking to replace my Rane TTM 56S mixer with either the Pioneer DJM-1000 Rotary, the Rane Empath Rotary or the Rane 2016 Mixer/Expander Combo. (They all seem to run between $700 & $1200)

My current setup is 2x Technics SL-1210M5G + Traktor F1, X1, A10 & Laptop.

Thoughts on the above mixers?
Any other rotary mixers recommended?