Podrías añadir a la lista el Skywatcher 127/1500 Synscan GOTO (el que tengo encargado). Es el primero que mencionas pero bajo
marca Skywatcher, algo más barato y con buscador.
El ETX 125 está fenomenal, pero mucho más caro (y focal aún mas larga me parece).
El Nextar 4se y ETX90 tienen algo menos de apertura por precios parecidos al SW, y el 5se tb sube bastante.
Yo estuve también pensandolo, no sé si te será de ayuda:
¿Ayuda primer telescopio ~500€? Balcón sur ciudad, Luna/planetas/terrestreDe todas formas hay una encuesta en el foro que puedes completar para que te ayude gente con más idea que yo...