I thought they were about market price. They are generally advertised for around $2k to $2.5k but generally re-sell in the civilian market for around $700 to $1000.
$1300 was a good price.
I've got my eye on a few that may be coming on the market soon.

