If you find a NightForce ATACR, or Vortex Razor GEN 2 for in between $1,000 - $1,500 let me know. I'm sure that someone steered you towards those, I'm not sure why they stopped there and did not advocate for a Schmidt & Bender. My point being is that they don't fit in your budget expectations.
Prices for the Razor GEN 2 are usually right around $2,000 the ATACR somewhere around $2,500 up, or down. Not meaning to crush any hopes but both the Vortex Viper PST GEN 2, or the 1st GEN Razor HD are solid performers in the mid-level and within the range you described. The Vortex Viper PST Gen. II 5-25x50, First Focal Plane usually goes for right around $1,000, on sale I've seen the lowest price at $799.99 and they sold out fast. The Razor HD currently goes for around $1,700 but is so rugged you might find a used one, or a sale within your budget. Vortex will cover even a used one with its lifetime warranty no questions asked.
If you are a veteran you could also check out their military discount program. I don't work for Vortex but it's what I use because my total budget for rifle, scope, mounts, bipod, a.s.o. usually reaches the pain threshold at $3,000.