Just an update on that ebay thing.
I asked the seller how thick the pens were, and he said that they were 1/4" in diameter. That's a bit thinner than a #2 pencil.
I think I'm going to order them, and then post a review of them here, and possibly more/better pictures. Would anyone be interested in this?