That's exactly the one - thanks! It goes with me everywhere and I use it pretty much every day.

The other similarly-sized one I use often is the MiniChamp; it goes in a toiletries kit for travel. Apparently they've updated it to the "MiniChamp II" - looks like they replaced the toothpick with a retractable pen.