The Bosch red coil part #12131357240, also referred as 00013, now made in Brazil to mixed reviews - is there a quality German made equivalent high output coil from say Beru? Or another manufacturer in Japan or USA of good quality? Or is the Bosch red the only game in town for the high output version?