Trijicon AccuPoint 2.5-12.5x42 comes in below $900, has illumination and leaves some wiggle room for bases & rings.
7PRC could be a consideration...if it's still around in 50 years or so. At least that's my opinion. This is a specialty cartridge made specifically for long range shooting to take advantage of longer, high BC bullets. Any game animal inside of 500 will never know the difference because the ballistics inside 500 are nearly identical. It's just another in a long line of "latest and greatest magnum" that will soon be at, or nearly obsolete. 7RUM, 7DAKOTA, 28NOSLER, 7WSM, 284WIN, 7SAUM, 7STW, 7WBY...etc. You get the point.
A traveling hunter should always take into account ammo availability to the places they plan on hunting. Any of the cartridges in that list above combined with lost ammo turns your beautiful killing machine into a stick with a 7mm hole down the center. Congratulations, you traveled halfway across the world to rent a camp rifle.
I believe you are making a wise decision with the two you are considering.