Any mitochondrial complex IV deficiency in which the cause of the disease is a mutation in the PET100 gene. The disease is MONDO_0033646 (mitochondrial complex IV deficiency, nuclear type 12). Also known as: MC4DN12.