If you can swing it I'd get the 4200.
I have an Elite 3200 10x40 and while it's a quality scope, I can see that it isn't as bright as other quality scopes I have.
Best screaming deal for a 3-9x40 is the Nikon Team Primos, only $199 and it's literally the prior generation Monarch (top line) scope just under a different name and with the BDC reticle. I have one and it's outstanding for the price.
I also have a Weaver Grand Slam 3-10x40 and it's terrific as well, probably better than either of the scopes above, definitely no worse than equal to the Nikon. But those run a bit more, I think $250+ range for a basic model, I paid $300 on sale for my mil-dot/mil adjustments model from Midway.
IMHO, the Elite models and the Weaver high end models (Grand Slam and Super Slam) represent some of the best values for high quality glass. Sure, maybe not quite a Nightforce or IOR, but about 1/4 the price and very, very good.