Glad you were able to score one.
I have both the full size and the micro. I can pocket the micro without to much discomfort. I don't use the clip
on either because they stick out to far and I do not want to lose them. I've also pinched my hand between the
plier handle and the scale which smarted, then I learned how to grab them safely.
All in all nice tools though.