Has anyone seen one of the Texas Brigade Armory M40A1 rifles sell lately. Trying to establish value on one, and no luck on the internet. Last price list I could find was 2007.