The JBC P4035 is a 9 mm x 13 mm thermal protector.
Benefits & Features of the JBC Tools P4035 Thermal Protector: