Yo tenía un redmi note 3 pro con una ROM de Android 8 y la verdad es que me iba genial...
Lo cambie porque me lo robaron en bricomart (quien me lo iba a decir ...) y estoy contento con el A1, pero si te va bien yo lo aguantaría un poco más...
El GPS lo pilla rápido, tampoco recuerdo haber tenido nunca problemas con el redmi... En lo que si que noto diferencia es en la cámara, para mí la del A1 mucho mejor