I'd put it at about $700 before the current craziness. ARs are starting to come back in stock and deals can be found. How many rounds and what type of ammunition does he have?

Welcome by the way.