Die hatte ich auch kurz im Blick. Habe welche bei AUTODOC gesehen. müssten die richtigen sein.
Die gibt es mittlerweile auch direkt von NGK. Die originale von Hyundai sind überteuert. Aber achte darauf das du den richtigen Motor genommen hast. Die Unterscheiden sich ob Turbo oder nicht.