@ Hornochse
leider hat Dein Werkstattmeister hier recht. Die Pole sind beim i40 zu kurz um die Batterie umzudrehen. Bei meinem ix35 hat es gerade so noch geklappt.
Allerdings bekommst Du auch eine passende Batterie im Zubehör. Das "Spezielle" ist eben nur, daß die Pole gegenüber Batterien für deutsche Hersteller vertauscht angeordnet sind. Es gibt fast alle gängigen Batterien auch mit dieser Anordnung. Ich habe da nicht nur Hyundai-Erfahrung, sondern für die meisten US-Fahrzeuge gilt dasselbe.