Hola, ignacioel. Como me ha preguntado por privado al ver que hace poco he vendido uno, pongo aquí también la respuesta, por si pudiera interesar a alguien más:
"Hola, ignacioel. Pues el HTC HD mini lleva una tarjeta SIM normal. El S4 lleva microSIM, por lo que hay dos opciones, o la llevas a algún sitio para que te la corten y la adapten a la medida de la microSIM (con algunos operadores da problemas de cobertura, no sé si por estar mal cortada y no "encajar" perfecto en su sitio o por otra cosa), o hablas con el operador para que te haga el cambio. A mi mujer, que es de Movistar, se la cambiaron al momento y le cobraron 7 euros y pico. A mí, que soy de Pepephone, me la cambiaron al momento y no me cobraron nada. Lo que hacen es anularte la vieja y activarte la nueva, pero, durante ese tiempo, la vieja no funcionaría."
Salu2.