I do know about Texasgunbroker but haven't heard of auctionsarms. Thanks for the info.
I think auctionarms is the 2nd largest after gunbroker. I've had good luck buyin & sellin on auctionarms. Wish i had the money to dicker with you but since i retired i have to look in the bargain section