Red 10 (o "Red Pocket", "Red Mobile" según país) es un operador móvil virtual (MVNO). El canje de tarjetas de recarga (PIN) se gestiona exclusivamente a través del operador.
*ADD# o *777# (varía por operador) y sigue locución.No hay un "menú universal" en el teléfono para meter PINs de recarga; depende de cada MVNO.