What is your budget? That will determine if you should buy vintage pro gear as you have listed above or consumer gear. My background is in analogue recording studios and the only advice I can give you is have a good bench-tech nearby if you go with pro gear. These decks will have many hours of operation on them.
Have you looked at brands like Teac, Akai or Revox?
Have you looked at brands like Teac, Akai or Revox?