Tiny stapler (Albuquerque)

I'm looking for a tiny stapler, the size of the red one. Mine isn't stapling correctly anymore and this tiny one is an old one I want to replace. Thanks.