That’s about the going rate for a DPMS AR15. A friend of mine just picked one up not long ago for $1,000.