Si es para una sala dedicada y acondicionada vete a por un 9400 que ya se consiguen usados en buen estado por ésa cifra.
Si sólo es dedicada (sin acondicionar) cualquiera de los que has mencionado te harán la faena junto a una decena más. A destacar el W2700 o el W5700.