Hello, for a grand, or slightly more, you can find a nice second hand Nightforce 5.5-22x56 30mm with IR mildot. The IOR 4-14x50 IRs can be had for ~$850 NIB. Like Ceylonc said, you might consider the 6-24x50 35mm IR from IOR, which comes with rings too, so that's basically $100-$150 savings there and they can be had for ~$1100 if you do your homework.
The Zeiss Diavari 6-24x56 will be a bit more for non-IR and a good deal more for the IR mil dot. Even used the S&B PMIIs will be a good deal more.
Personally, I picked up a new Savage 10FP LE2B two summers ago and mounted a Zeiss Conquest 4.5-14x50 on it and can't complain for the money. It's only 1" and FinePlex, but it's a pretty nifty piece of glass; however, it is a little short on UP so you would want to pick up something like a Ken Farrell 20MOA base.
Take care, Chris