HELLO to all I was at a gun shop today that was selling a Diamondback ar15 for 1295.00. When I Checked msrp online it comes up at 846.00 any thoughts on this?