I'd have him check out PSA's site. There's absolutely nothing wrong with the Sport (lots right about it) but PSA has some of their 'premium' guns from $699-799 right now. I suggest the midlengh dissipator myself. PSA's premium barrels are as good as any AR under 2k and the guns they're offering a a little more customized than the Sport for only a little more. That's my 2 cents anyway....
