I'm sure you'll get lots of suggestions and opinions, (and additional questions) but I think you'd be lucky to do 500 people with that rig at decent volumes....forget 1000 (unless it's very modest levels).
I will say I've not heard any of the TX mains and subs, but I own the TX 12" monitors and like them alot. They are small, light, sound good and can get quite loud.
I own a basic Phoenix rig ((2)PX2152/(2)PX2181) and would really be pushed to cover 500 folks at rock levels...and these things get loud. It will take quite the system to do what you want.
You might want to look into EV's QRX line, Phoenix line, or JBL SRX. JTR speakers are also worth a look.