Gen2 Razor. EBR-2C would be my vote.
But I'd recommend the 4.5-27x over the 3-18x
The difference in size cost and weight are very very small.
Higher magnification will allow you to use it as a spotting scope and get a more accurate view of your target at 27x (even if you shoot at lower mag) before shooting. At longer ranges, 20x or more would not hurt.
NF ATACR F1 5-25x is comparable to the 4.5x razor2, just costs more.
I'm guessing with an AIAT you're not worried about weight for hunting and packing it for long distances.