I have a friend who has a 4 gallon bucket almost full of once fired brass from his stash of xm193. I've been reloading a lot for my ar15 lately and he's offered to sell me this brass, what do you guys think is a reasonable price? I figure there's probably around 3k pieces, but that just a guess. Thanks in advance for any input.