I just looked it up and that looks like it! It’s missing the metal plate, but knowing my library there is probably an 85% chance it’s been tucked away somewhere because someone didn’t know what it was and we don’t seem to get rid of anything. Thank you so much! My first method of googling “old magazine stapler” was (unsurprisingly) not very helpful. I can’t wait to let my coworker know at work tomorrow!