Danke für die Antworten!
War eben nochmal im AH. Da beharren sowohl Service-Dame als auch Werkstatt darauf, dass die "Radsensoren umprogrammiert" worden sind und dass das beim Ioniq so sein muss. Bin also weiterhin ein wenig ratlos was die Korrektheit dieses "Services" angeht...
Ich würde zu der Werkstatt gehen, zwei Winterräder wieder draufzuschrauben lassen und zusammen mit dem Werkstattmeister ne Runde drehen bis die Sensoren erkannt werden.