Wird das entbranden irgendwo registriert?

Mit einer Rechnung des NSC bist du auf der sicheren Seite.

es läuft anders herum - anhand der IMEI hat Nokia registriert an welche Firma das Gerät geliefert wurde. Dementsprechend ist klar das ein an Vodafone geliefertes Gerät ein Vodafonebranding haben müsste.
Zusätzlich gibts noch den Gerätecode welcher die Netzbetreibervariante spezifiziert - der wird imho beim debranden aber eh geändert (zumindest kurzfristig).

Die Erfahrung zeigt das entbrandete Geräte problemlos im Rahmen der Garantie/Gewährleistung repariert werde, theoretisch könnte es vielleicht abgelehnt werden aber das ist dann wohl Pech.