Yep, and I remember kids used to pinch the push button starters from the gas water heaters on homes as well as they were a handy sized unit for free game hunting.
About the size of 2 AA batteries end to end, push button on one end and a nice spark at the other.
