After the death of a relative, I have ended up with a Colt Pocket Positive he had. It has a 3.5 inch barrel but is otherwise quite a small gun. It actually gets lost in an Uncle Mike's #0 pocket holster I have for a Ruger LCRx. (That is, it is way too loose in that holster, though the length might be OK.) Does anyone have a suggestion or recommendation for a pocket holster for this? Thanks!