That little tool you described is a tip cleaner for a blow torch I believe. If you go by a welding supply, I'll bet you'll see the same things on the counter. Login to read more.