Does anyone know the exact name of the tool and manufacturer? It’s thin, flexible steel with a short red plastic handle / striking cap. Thanks in advance!
