Para todos que estão com o problema, acho que o mais viavel é mesmo chegar até a Anatel, visto que o problema é com a TIM.
Digo isto, pois quando o meu estava com o mesmo problema eu cheguei a testar um chip da Claro e logo depois um da OI e ambos ativaram instantaneamente.
Enfim, em relação a todo o transtorno causado pela TIM, só tenho uma coisa a dizer: Isso é a TIM sendo TIM. Sou usuário da mesma, porém sei o quão frustante e estressante ela pode ser as vezes.
Espero que todos com o mesmo problema consigam a solução logo, pois é chato ter um recurso em seu aparelho e não poder usufruir do mesmo.
Já que ele está com iOS 7 fique "tranquilo"
A pessoa que te roubou não vai poder usar seu celular, com o iOS 7, mesmo tentando reseta-lo via iTunes funciona tudo normalmente, até a ultima parte, na qual ele pede a conta iCloud e a senha para desbloquear o iPhone.