Yes, the Kel-Tec is a name brand, made in Florida. They make a compact 9mm, 380, a 50 round double stack 22 mag pistol, a 14 shot double tube pump shotgun, and the Sport Utility 223 which uses AR mags. The SU 223 has a folding stock, and the forarm folds out and makes a bi-pid. It had a piston gas system, not the blowback of the AR.
However, back to the Diamondback, it is also made in Florida, and when I held it, it would fit in my back pocket. It was however hard to cock. Has a strong spring for size. Don't know how reliable they are, just wondering if anyone has shot them.