I would highly suggest no one use the “what the pros use” as a guide to buying.
If one did, everyone should go buy a dasher, an mpa chassis, diamond trigger, and an NF 7-35.
Those guys are fighting for any edge they can get in one another. Doesn’t pertain to most shooters.
The OP came here to solicit advice on a scope selection. The referal to what the best shooters in the nation are using is still valid as a reference. They would not be the best if their equipment was junk. The new pricing for Vortex scopes that are more competitve for the entry level shooter makes these similar priced lower quality scopes less attractive to many. How many of the top 150 PRS shooters used Athlon, Leupold or Simmons? Why buy something now for $1500.00 that you will replace in a year and have difficulty selling at half price.