Hab mein S4 damals nach dieser Anleitung auf Werkeinstellung zurückgesetzt. Alles hat geklappt und hatte keine Probleme mit der Garantie. Wobei letzteres glaube ich irrelevant ist.
Du kannst aber auch manuell über Odin flashen und anschließend neu rooten oder MobileOdin mit Rootkeeper flashen und dein root bleibt erhalten.