For tick data, tickdata.com
A bit on the expensive side, but since they can export ascii files, you can import into just about anything. I know NinjaTrader has a unique ascii file format requirement.
If your work can get by with minute data, you can save some cash as you will find many...