No holster, but it seems to be perfectly functional! The gunsmith said several pins were walking out internally, and he made sure everything was stuck in place, plus new springs, lube, etc. Everything felt pretty good, but proof is in the pudding, right?
I know that every single person on Arf can shoot better than me, but this was 11 paces, and it looked good to me.
Shot it again, same results,
All in all I put many rounds downrange, and I am perfectly happy with this little gun. Perfect functioning and accuracy good enough for this fat old guy.