Got some more info yesterday. I forgot to ask if they were used again...
100 AR-15s that no one wants to carry have apparently been sitting in a storage room for a few years. 40 are going up for sale. Unfortunately they're stripping off the red dots and lights, and just selling them bare with a soft case. But the paper work is being put in!