Great information and photos, falcon5000. Thanks very much.

I have some peanut lighters, and the even smaller "split pea" lighters, from countycomm. As you said, the standard flints are too big in diameter. I tried first a Zippo and then a Ronson flint, grinding them down with a metal file, but couldn't make them small enough to fit. Never thought of using sandpaper!