Hi srkmagnus,
Thanks for your help. I tried asking Samsung US support and they told me that the only way would be to visit a best-buy in the US. I suggested Kies to them, and they said it would not help. (I tried it anyway, and they were right).
Since I've already rooted it, I am happy to go...