They have some semi-auto carbines in 9mm, .40, and (IIRC) .45 that fold down to under 16.5". I regard those as the real nose-thumb at the AWB, since weapons with "folding stocks" have to be at least 26" long in the maximally-folded configuration (and thus, contrary to gun banners' claims, are often bigger and harder to conceal than guns with a 26.1" design length).