I used a "Space Pen", it is the one that has a cap, and is about 3 inches long when capped. I got that one since I carry it in my pocket all the time. It writes on the punch cards first time every time though. Not cheap, it was $4, but I have had it for about a year.