We used to call them "gasket cutters" or "T-handled gasket cutters." They were concentric thin-wall metal tubes with a T-handle on one-end and the other end was sharp. They were used to cut circles of various dimension from gasket, cork or felt materials. The tools slid over each other, such that a dozen or so stored in a compact space. Might anyone know the official name or where they might be procured?