Floyd Models:
Ibanez RG1527
Ibanez RG7620
Schecter C-7 FR
Schecter Loomis 7
Non-Floyd Models:
Ibanez RG15271 (Japan model)
Ibanez RG7621
Ibanez Xiphos 7
Schecter C-7
Schecter Loomis Non-Trem
That's about it for $1k or under. There are lower quality Ibanez and Schecter models if you want to go real cheap, but I don't recommend them. There are also some ESP models, but I hate the 7 string ESP models. The Carvin ones vary too much in price for me to include them, but you can look into those as well. Remember that they use lower quality floyds on their guitars, and the pickup routes are non-standard.