Lo conseguí. Muchas gracias.
Hay que dar varias vueltas, pero a groso modo la cosa es:
1- ir a "Protección en caso de robo del dispositivo", buscándolo en "Ajustes". Se desactiva, pide el código del iPhone y empieza una cuenta atrás de 1 hora.
2- Cuando acaba el contador, se vuelve a "Protección en caso de robo del dispositivo" y se desactiva todo, porque si no, está gris la opción de desactivar Buscar.
3- Luego vamos a Ajustes > [tu nombre] > Buscar > Buscar mi iPhone y se desactiva el interruptor, que ya no aparecerá gris. Con eso desaparece el iPhone en "Buscar" (Hay que introducir la contraseña de la cuenta Apple).
4- Luego volvemos a añadir el iPhone: Regresamos a Activar la "Protección en caso de robo del dispositivo" y a deslizar el interruptor de "Buscar mi iPhone".
Con eso, por fin aparece el iPhone sin la marca de Modo "listo para reparación". Y ya está otra vez disponible la opción "eliminar" que di al entregar el iPhone en el Genius Bar, que habia desaparecido en ese modo de reparación.
Mil gracias por las indicaciones, cebra0