(09-09-2023, 06:41 PM)George Cantstandya Wrote: What brand of pen was it? That's kind of important. Just hope he didn't get ripped off with some dollar store 20 pack pen.