At a gunshow today I saw an AK made by a company called Arsenal in Las Vegas. Milled receiver, muzzle brake of some type, and a longer. thinner buttstock than normal AK's. Looked well-manufactured. Price was (IIRC) $675. Anyone have any experience with this particular model of AK?