Minis(other than the "5" current ones and the #18 of old) came (mostly) with a "sleeve" or a "pocket-carry" as they did not have any type of "clip" or "belt loop" and many had Model #'s stamped by M. Johnson also.
Hope this helps, Capt. Chris