Pour 1000€ j'ai vu de très belles occasions en guitares 7 cordes sur audiofanzine et guitariste.com, tu peux essayer de voir de ce côté.
Je connais aucun de ces modèles mais la Jackson avec les D Activator en micro pourrait être très bien pour un soliste, je pense que c'est une guitare assez brilliante vu les bois utilisés.
La Schecter Jeff Loomis apparemment est pas mal mais faut aimer les actifs.
Sinon, tu pourrais aller voir du côté de chez Ibanez, ils ont sorti des bons modèles à chevalet fixe de qualité, beaucoup de guitariste lead aiment les manches des Ibanez.
Après il faut voir si t'as besoin d'un diapason plus long, 3 des modèles que tu as proposé ont un diapason 26,5 ou 27 pouces, donc à voir selon ton accordage prévu.